Sequential logic testing and verification
Sequential logic testing and verification
State Assignment Algorithms for Parallel Controller Synthesis
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Hi-index | 0.00 |