High-density reachability analysis
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Multi-level logic optimization of FSM networks
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Sequential logic optimization by redundancy addition and removal
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Input don't care sequences in FSM networks
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Asynchronous Sequential Switching Circuit
Asynchronous Sequential Switching Circuit
Test Generation for Networks of Interacting FSMs Using Symbolic Techniques
GLSVLSI '96 Proceedings of the 6th Great Lakes Symposium on VLSI
Formal languages and their relation to automata
Formal languages and their relation to automata
BDD-based testability estimation of VHDL designs
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Co-Testing: Granting Testability in a Codesign Environment
Integrated Computer-Aided Engineering
| Hi-index | 0.00 |