4.11 - 1251 ratings - Source

[13] used a similar approach, called assume-guarantee reasoning, but had to invest extensive manual effort to formally verify even a ... [10] N.A. Harman, aquot; Verifying a Simple Pipelined Microprocessor Using Maude, aquot; Workshop on Recent Trends in Algebraic Development .... [41] M.N. Velev, and R.E. Bryant, aquot; TLSim and EVC: A Term-Level Symbolic Simulator and an Efficient Decision Procedure for theanbsp;...

Title:GLSVLSI '04
Author:ACM Special Interest Group on Design Automation
Publisher: - 2004


You Must CONTINUE and create a free account to access unlimited downloads & streaming