Title | Date | Type | Setname | ||
---|---|---|---|---|---|
1 |
![]() | Accurate capacitance and resistance extraction | 1993-03 | Text | ir_computersa |
2 |
![]() | ASSASSIN: an assembly, specification and analysis system for speed-independent control-unit design in integrated circuits using path-programmable logic (PPL) | 1982-06 | Text | ir_computersa |
3 |
![]() | Behavioral simulation from high-level specifications | 1989-06 | Text | ir_computersa |
4 |
![]() | INSTED : an integrated structured tiling editor for very large scale integrated circuit design | 1986-06 | Text | ir_computersa |
5 |
![]() | Specification and validation of control-intensive integrated circuits in hopCP | 1992 | Text | ir_uspace |