Formal Methods in Circuit Design

Formal Methods in Circuit Design

4.11 - 1251 ratings - Source

Graduate level account of hardware verification and algebraic specification.If there exists a complete term rewriting system aquot;R. such that5 1. (V(M = N) 6 Ap) M 1= N I, and 2. (V(A -Ar p) e 71) A =Ap p, then M J. is a normal form of M for the theory =Ap in the sense that (VM, TV G T(E U V)) M =Ap TV alt;=$agt; M |= JV j. This gives usanbsp;...

Title:Formal Methods in Circuit Design
Author:Victoria Stavridou
Publisher:Cambridge University Press - 1993-07-22


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