EverLost: A flexible platform for industrial-strength abstraction-guided simulation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4144 LNCS, Issue , 2006, Pages 282-285

  De Paula, Flavio M ^a   Hu, Alan J ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER AIDED DESIGN; COMPUTER SIMULATION; HEURISTIC METHODS; INFORMATION RETRIEVAL; MATHEMATICAL MODELS;

AUTOMATIC HARNESSING; FORMAL TOOLS; INDUSTRIAL STRENGTH ABSTRACTION GUIDED SIMULATION; VERILOG DESIGN;

COMPUTER SOFTWARE;

EID: 33749825942     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817963_27     Document Type: Conference Paper

References (12)

1. A. Biere, A. Cimatti, E. M. Clarke, Y. Zhu. Symbolic model checking without BDDs. Tools and Algorithms for Construction and Analysis of Systems, LNCS 1579, pp. 193-207, 1999.
2. V. Boppana, S. P. Rajan, K. Takayama, M. Fujita. Model checking based on sequential ATPG. Computer-Aided Verification: 11th Intl Conf, LNCS 1633, pp. 418-430, 1999.
3. 20 states and beyond. Conf on Logic in Computer Science, pp. 428-439, 1990.
4. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, A. Tacchella. NuSMV 2: An OpenSource tool for symbolic model checking. Computer-Aided Verification: 14th Intl Conf, LNCS 2404, pp. 359-364, 2002.
5. E. M. Clarke, E. A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. Workshop on Logics of Programs, LNCS 131, pp. 52-71, May 1981.
6. S. Edelkamp, A. Lluch-Lafuente. Abstraction in directed model checking. Workshop on Connecting Planning Theory and Practice, pp. 7-13, 2004.
7. H. Jain, D. Kroening, N. Sharygina, E. Clarke. Word level predicate abstraction and refinement for verifying RTL verilog. 42nd Design Automation Conf, pp. 445-450, 2005.
8. J.-P. Queille, J. Sifakis. Specification and verification of concurrent systems in Cesar. 5th Intl Symp on Programming, LNCS 137, pp. 337-351, 1981.
9. S. Shyam, V. Bertacco. Distance-guided hybrid verification with GUIDO. Design Automation and Test in Europe, pp. 1211-1216, 2006.
10. C. H. Yang, D. L. Dill. Validation with guided search of the state space. 35th Design Automation Conf, pp. 599-604, 1998.
11. USB 1.1 PHY. http://www.opencores.org/projects.cgi/web/usb.phy/overview.
12. USB 2.0 Function Core, http://www.opencores.org/projects.cgi/web/usb/ overview.