Search
Search Results
-
Program Synthesis from Graded Types
Graded type systems are a class of type system for fine-grained quantitative reasoning about data-flow in programs. Through the use of resource... -
Compositional Safety LTL Synthesis
Reactive synthesis holds the promise of generating automatically a verifiably correct program from a high-level specification. A popular such... -
Compositional High-Quality Synthesis
Over the last years, there has been growing interest in synthesizing reactive systems from quantitative specifications, with the goal of constructing... -
Marked Graph Synthesis
If marked graphs are targeted by synthesis from labelled transition systems, it is possible to devise a very fast algorithm. To this end, the... -
High-Level Synthesis
High-level synthesis (HLS) is the process of compiling a software program into a digital circuit. This chapter provides a view into the HLS design... -
Model-Guided Synthesis for LTL over Finite Traces
Satisfiability and synthesis are two fundamental problems for Linear Temporal Logic, both of which can be solved on the automaton constructed from... -
SR-SFLL: Structurally Robust Stripped Functionality Logic Locking
Logic locking was designed to be a formidable barrier to IP piracy: given a logic design, logic locking modifies the logic design such that the... -
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications
Automatic synthesis from temporal logic specifications is an attractive alternative to manual system design, due to its ability to generate... -
Logic Separation: Discrete Modelling of Pattern Recognition
AbstractHerein, a historical analytical survey of work of “Discrete Modelling of Pattern Recognition” (DM-Lab) research group in Armenia is...
-
Formal Verification Based Synthesis for Behavior Trees
Behavior trees (BTs) have been extensively applied in the area of both computer games and robotics, as the control architectures. However, the... -
Generic and scalable DNA-based logic design methodology for massive parallel computation
The need for computation speed is ever increasing. A promising solution for this requirement is parallel computing but the degree of parallelism in...
-
A toolchain for strategy synthesis with spatial properties
We present an application of strategy synthesis to enforce spatial properties. This is achieved by implementing a toolchain that enables the tools
CATLib... -
Reactive Synthesis of Smart Contract Control Flows
Smart contracts are small but highly error-prone programs that implement agreements between multiple parties. We present a reactive synthesis... -
Thermal-aware application map** using genetic and fuzzy logic techniques for minimizing temperature in three-dimensional network-on-chip
3D integration is one of the scalable multiprocessor design solutions. The main challenge in 3D design is temperature traps, especially in the upper...
-
Bounded Choice-Free Net Synthesis
In the hierarchy of structurally defined Petri net classes, choice-free nets lie above marked graphs, but their reachability graphs are still... -
Formal XAI via Syntax-Guided Synthesis
In this paper, we propose a novel application of syntax-guided synthesis to find symbolic representations of a model’s decision-making process,... -
Symbolic \(\textsc {ltl}_f\) Best-Effort Synthesis
We consider an agent acting to fulfil tasks in a nondeterministic environment. When a strategy that fulfills the task regardless of how the... -
-
SynthLearn: A Tool for Guided Reactive Synthesis
In this paper, we introduce the SynthLearn tool. It implements an algorithm for reactive synthesis using LTL specifications, supplemented with... -
A critical view on the real-world security of logic locking
With continuously shrinking feature sizes of integrated circuits, the vast majority of semiconductor companies have become fabless , outsourcing to...