Publisher's Synopsis
The proceedings of the May 1994 Symposium comprise an invited talk ("Hardware/Software Co-Verification in ATM" by Giovanni Mancini) followed by technical sessions on hardware/software systems; estimation and scheduling; retargetable code generation; verification, test, and fault-tolerant systems; and control, datapath, and interface synthesis. No i