![]() | ![]() |
| 1999 | ||
|---|---|---|
| 1 | Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman: Logic Verification of Very Large Circuits Using Shark. VLSI Design 1999: 310-317 | |
| 1 | Jeremy Casas | [1] |
| 2 | Manpreet Khaira | [1] |
| 3 | Steve W. Otto | [1] |
| 4 | Erik Seligman | [1] |
| 5 | Thomas Tetzlaff | [1] |
| 6 | Hannah Honghua Yang (Honghua Yang) | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page