| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Computer Arithmetic: Systems Simulation Using Simulink, Stateflow, and HDLs | 978-1-4200-6127-7 (1-4200-6127-5) | 2009 |
| Digital Integrated Circuits: Design-for-Test Using Simulink and Stateflow | 978-0-8493-3057-5 (0-8493-3057-2) | 2006 |