"Using the ACL2 Theorem Prover to Reason about VHDL Components."

Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin (2000)

Details and statistics

DOI:

access: unavailable

type: Journal Article

metadata version: 2004-05-24

a service of  Schloss Dagstuhl - Leibniz Center for Informatics