University of Limerick Institutional Repository

Browsing LERO - UL authors by Subject "verification"

DSpace Repository

Browsing LERO - UL authors by Subject "verification"

Sort by: Order: Results:

  • Linehan, Eamonn; O'Toole, Eamonn; Clarke, Siobhán (Association for Computing Machinery, 2012)
    Developing testbenches for dynamic functional verification of hardware designs is a software inten- sive process that lies on the critical path of electronic system design. The increasing capabilities of electronic ...
  • Leen, Gabriel; Heffernan, Donal (IEEE Computer Society, 2007)
    Analysis estimates that more than 80% of all current innovations within vehicles are based on distributed electronic systems. Critical to the functionality and application domain of such systems is the underlying ...

Search DSpace


My Account