|
|
Sold Out
Book Categories |
| Preface | ||
| 1 | Formal Design Methods | 1 |
| 2 | Designing with Transitions | 13 |
| 3 | Formal Verification | 47 |
| 4 | Synchronous Designs | 81 |
| 5 | Synchronous Realizations | 111 |
| 6 | Refinement | 133 |
| 7 | Self-Timed Circuits | 157 |
| 8 | Towards Larger Designs | 187 |
| 9 | Epilog | 203 |
| A: Synchronized Transitions Report | 207 | |
| References | 223 | |
| Index | 229 |
| Price | Condition | Delivery | Seller | Action |
| $191.04 | Digital |
| WonderClub |
Mauricio José Amadó Segarra
reviewed A Formal Approach To Hardware Design on October 04, 2007
A Formal Approach To Hardware Design
I need the book
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
A Formal Approach To Hardware Design
X
This Item is in Your Inventory
A Formal Approach To Hardware Design
X
You must be logged in to review the productsX
X
X
Add A Formal Approach To Hardware Design, A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions. The models created using S, A Formal Approach To Hardware Design to the inventory that you are selling on WonderClubX
X
Add A Formal Approach To Hardware Design, A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions. The models created using S, A Formal Approach To Hardware Design to your collection on WonderClub |
