University of Limerick Institutional Repository

Browsing LERO - UL authors by Subject "verification"

DSpace/Manakin 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

Advanced Search


My Account