Formal Methods And Models For System Design: A System Level Perspective
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | June 30, 2004 |
| Editors | Paul Le Guernic |
| Jean-Pierre Talpin | |
| Sandeep Shukla | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2027440 |
About Formal Methods And Models For System Design: A System Level Perspective
The gap between the size of microelectronic design/validation task and our ability to design these in a reasonable time is steadly increasing. We need tools and techniques to bridge this gap. Formal models and methods hold this promise by their focus on scalability, efficiency and design optimization. . . .