Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
intro_example:inverter [2020/04/29 14:41] rajit |
intro_example:inverter [2020/12/02 01:00] 127.0.0.1 external edit |
||
|---|---|---|---|
| Line 51: | Line 51: | ||
| </ | </ | ||
| - | What can we do with this ACT file? The simplest thing is to simulate the inverter using a production-rule simulator. We have provided '' | + | Next, we can simulate the inverter using a production-rule simulator. We have provided '' |
| ===== Simulating with prsim ===== | ===== Simulating with prsim ===== | ||
| Line 87: | Line 87: | ||
| < | < | ||
| - | % prsim inv.prs | + | % prsim test_inv.prs |
| (Prsim) initialize | (Prsim) initialize | ||