Integrated circuits--Verification
URI(s)
Components
Verification 
Variants
Closely Matching Concepts from Other Schemes
Broader Concepts from Other Schemes
Sources
found: Work cat.: 93-29419: Milne, G.J. Formal specification and verification of digital systems, c1994(Hardware verification; verification of integrated circuits)
found: Engr. index:under Integrated circuits--Testing and Integrated circuits--Design)
found: LC data base, 7/20/93(Hardware verification; VLSI verification)
found: Ralston Reilly encyc. computer sci.(Hardware verification involves demonstrating that an implementation of a system is "Consistent" with respect to its specification, where descriptions tend to be at different levels of abstraction ... it involves comparing two descriptions of a (hardware) design for consistency.)
notfound: Web. 3
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
1993-07-22: new
1993-08-27: revised
Alternate Formats
