Formal Semantics and Proof Techniques for Optimizing VHDL Models

Sheetanshu

by: Kothanda Umamageswaran · Sheetanshu L. Pandey · Philip A. Wilsey

Hardcover

ISBN: 978-0-7923-8375-8

ISBN-10: 0-7923-8375-3

Springer · 1998