Login / Signup

A Framework for Object Oriented Hardware Specification, Verification, and Synthesis.

Tommy KuhnTobias OppoldMarkus WinterholerWolfgang RosenstielMark EdwardsYaron Kashai
Published in: DAC (2001)
Keyphrases
  • object oriented
  • theoretical framework
  • low cost
  • programming language
  • model checking
  • conceptual framework
  • database
  • real time
  • relational databases
  • conceptual model
  • object oriented database systems