Practical formal methods for hardware design

Practical formal methods for hardware design
Details
- OL Work ID
- OL18230259W
Subjects
Logic circuitsMethodologyComputer hardware description languagesDigital integrated circuitsFormal methods (Computer science)Design and constructionComputer input-output equipment