<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-06-30 15:34:28SystemC Electronic design automation Transaction-level modeling Promela Scheduling SPIN model checker Electronic engineering Hardware description languages Model checkers |
| First Page | Document Content | |
|---|---|---|
Date: 2008-06-30 15:34:28SystemC Electronic design automation Transaction-level modeling Promela Scheduling SPIN model checker Electronic engineering Hardware description languages Model checkers |
