[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 |

Continue