Design and use of a system-level specification and verification methodology

  • Authors:
  • M. M. Kamal Hashmi;Alistair C. Bruce

  • Affiliations:
  • Design Automation Centre, High Performance Systems, ICL, Wenlock Way, Manchester, M12 5DR, U.K.;Design Automation Centre, High Performance Systems, ICL, Wenlock Way, Manchester, M12 5DR, U.K.

  • Venue:
  • EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract