Symbolic exploration of large circuits with enhanced forward/backward traversals

Authors:
Gianpiero Cabodi;P. Camurati;Stefano Quer
Affiliations:
Politecnico di Torino, Turin, Italy;Politecnico di Torino, Turin, Italy;Politecnico di Torino, Turin, Italy
Venue:
EURO-DAC '94 Proceedings of the conference on European design automation
Year:
1994

Gentest: An Automatic Test-Generation System for Sequential Circuits

Computer
Algorithms for approximate FSM traversal

DAC '93 Proceedings of the 30th international Design Automation Conference
Efficient State Space Pruning in Symbolic Backward Traversal

ICCS '94 Proceedings of the1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors
Sequential Test Generation Based on Real-Value Logic

Proceedings of the IEEE International Test Conference on Discover the New World of Test and Design
HITEC: a test generation package for sequential circuits

EURO-DAC '91 Proceedings of the conference on European design automation

Computing subsets of equivalence classes for large FSMs

EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Verification by approximate forward and backward reachability

Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results

ACM Transactions on Programming Languages and Systems (TOPLAS)
Probabilistic state space search

ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Formal Verification Methods for Industrial Hardware Design

SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Full symbolic ATPG for large circuits

ITC'94 Proceedings of the 1994 international conference on Test

Hi-index	0.00