Read and Download Hardware Specification, Verification and Synthesis: Mathematical Aspects PDF
ByCornell University. Mathematical Sciences Institute. Workshop,Cornell University. Mathematical Sciences Institute
Total Download
19“My best friend is a person who will give me a book I have not read.” –Abraham Lincoln
Synopsis
The papers in this volume present current research into formal methods for hardware design. The goal of this research is to develop new ways of using logic to specify systems, model hardware and verify designs. Most of the research was performed in the United States.
No comments:
Post a Comment