One of the techniques for the formal design of embedded systems is – or should be – Behavioral Synthesis. Among its many advantages, one can quote easier testing and more complete architecture exploration.
Swipe to navigate through the chapters of this book
- From Software to Hardware and Back
- Springer Berlin Heidelberg
- Sequence number
Neuer Inhalt/© ITandMEDIA