[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 | : | Proceedings of the ... ACM Great Lakes Symposium on VLSI. |

Author | : | |

Publisher | : | - 2004 |

Continue