A Specification Invariant Technique for Regularity Improvement between Flow-Graph Clusters
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Test generation for cyclic combinational circuits
VLSID '95 Proceedings of the 8th International Conference on VLSI Design
Eliminating false loops caused by sharing in control path
ISSS '96 Proceedings of the 9th international symposium on System synthesis
Applying Resource Sharing Algorithms to ADL-driven Automatic ASIP Implementation
ICCD '05 Proceedings of the 2005 International Conference on Computer Design
The analysis of cyclic circuits with Boolean satisfiability
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Constructive Boolean circuits and the exactness of timed ternary simulation
Formal Methods in System Design
The Synthesis of Cyclic Dependencies with Boolean Satisfiability
ACM Transactions on Design Automation of Electronic Systems (TODAES)
| Hi-index | 0.00 |