Next: A database, Previous: Embedded Systems, Up: Usage
Assertions for the timing behaviour of you system can be done in nana nicely. You might also consider using an instruction level simulator such as PSIM and use the ‘cycles’ variable to test realtime constraints.