![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ag.html | 2018-05-14 09:49 | 843 | |
| agsim.ps | 2018-05-14 09:49 | 476K | |
| cav96.vis.ps | 2018-05-14 09:49 | 35K | |
| cav97.partial.ps | 2018-05-14 09:49 | 121K | |
| cav98.ag.ps | 2018-05-14 09:49 | 179K | |
| cav98.mocha.ps | 2018-05-14 09:49 | 4.6M | |
| cav98.post.ps | 2018-05-14 09:49 | 240K | |
| cav99.mem.ps | 2018-05-14 09:49 | 439K | |
| cav99.sample.ps | 2018-05-14 09:49 | 1.3M | |
| dac97.fire.ps | 2018-05-14 09:49 | 87K | |
| iccad97.redundancy.ps | 2018-05-14 09:49 | 206K | |
| iccd96.redundant.ps | 2018-05-14 09:49 | 166K | |
| iccd97.cadmark.ps | 2018-05-14 09:49 | 338K | |
| memory.html | 2018-05-14 09:49 | 1.3K | |
| post.html | 2018-05-14 09:49 | 254 | |
| procomet98.stable.ps | 2018-05-14 09:49 | 492K | |
| prover.html | 2018-05-14 09:49 | 237 | |
| publications.html | 2018-05-14 09:49 | 3.5K | |
| research.html | 2018-05-14 09:49 | 1.5K | |
| shaz.gif | 1997-01-14 16:37 | 10K | |
| synthesis.html | 2018-05-14 09:49 | 520 | |
| trivia.html | 2018-05-14 09:49 | 319 | |