False loops through resource sharing
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Making cyclic circuits acyclic
Proceedings of the 40th annual Design Automation Conference
Formal analysis of synchronous circuits
Formal analysis of synchronous circuits
Test generation for cyclic combinational circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Making cyclic circuits acyclic
Proceedings of the 40th annual Design Automation Conference
Causality analysis of synchronous programs with delayed actions
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
On breakable cyclic definitions
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
An efficient combinationality check technique for the synthesis of cyclic combinational circuits
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Formal Reasoning About Causality Analysis
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
The analysis of cyclic circuits with Boolean satisfiability
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
Efficient simulation of oscillatory combinational loops
Proceedings of the 47th Design Automation Conference
Discrete Applied Mathematics
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)
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |