Add to ORKGA new re-synthesis approach that benefits from min-cut based partitioning is proposed. This divide and conquer approach is shown to improve the performance of existing synthesis tools on a variety of benchmarks
Applying Shannon decomposition can reshape sequential circuits and improve opportunities for retimin...
The goal of design synthesis is the generation of high-quality material designs from abstract specif...
Journal ArticleThis paper presents a decomposition method for speedindependent circuit design that i...
Most problems in logic synthesis are computationally hard, and are solved using heuristics. This oft...
Program synthesis aims to generate programs automatically from user-provided specifications. One cri...
Abstract|This paper is dedicated to correct synthe-sis. By correct synthesis we mean, that there is ...
This paper presents a finite state machine (FSM) re-engineering method that enhances the FSM synthes...
We propose Finite State Machine (FSM) re-engineering, a performance enhancement framework for FSM s...
[[abstract]]Logic replication has been shown to be very effective in reducing the number of cut nets...
A divide-and-conquer approach using circuit partitioning is presented, which can be used to accelera...
A framework for model reduction and synthesis is presented, which enables the re-use of reduced orde...
Due to weaknesses in circuit synthesis methods used in today's CAD tools, the opportunities created ...
[[abstract]]Logic replication has been shown to be very effective in reducing the number of cut nets...
[[abstract]]Logic replication has been shown to be very effective in reducing the number of cut nets...
In analogue circuit designs, an initial circuit topology is usually chosen with a set of parameters ...
Applying Shannon decomposition can reshape sequential circuits and improve opportunities for retimin...
The goal of design synthesis is the generation of high-quality material designs from abstract specif...
Journal ArticleThis paper presents a decomposition method for speedindependent circuit design that i...
Most problems in logic synthesis are computationally hard, and are solved using heuristics. This oft...
Program synthesis aims to generate programs automatically from user-provided specifications. One cri...
Abstract|This paper is dedicated to correct synthe-sis. By correct synthesis we mean, that there is ...
This paper presents a finite state machine (FSM) re-engineering method that enhances the FSM synthes...
We propose Finite State Machine (FSM) re-engineering, a performance enhancement framework for FSM s...
[[abstract]]Logic replication has been shown to be very effective in reducing the number of cut nets...
A divide-and-conquer approach using circuit partitioning is presented, which can be used to accelera...
A framework for model reduction and synthesis is presented, which enables the re-use of reduced orde...
Due to weaknesses in circuit synthesis methods used in today's CAD tools, the opportunities created ...
[[abstract]]Logic replication has been shown to be very effective in reducing the number of cut nets...
[[abstract]]Logic replication has been shown to be very effective in reducing the number of cut nets...
In analogue circuit designs, an initial circuit topology is usually chosen with a set of parameters ...
Applying Shannon decomposition can reshape sequential circuits and improve opportunities for retimin...
The goal of design synthesis is the generation of high-quality material designs from abstract specif...
Journal ArticleThis paper presents a decomposition method for speedindependent circuit design that i...