Formal Semantics for a Subset of VHDL and Its Use in Analysis of the Ftpp Scoreboard Circuit

Bok av National Aeronautics and Space Adm Nasa