Skip to search formSkip to main contentSkip to account menu

Device driver synthesis and verification

Known as: Hardware-software codesign 
The device driver is a program which allows the software or higher-level computer programs to interact with a hardware device. These software… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Hardware/software codesign involves various design problems, including system specification, design space exploration, hardware… 
Review
2007
Review
2007
As new applications in embedded communications and control systems push the computational limits of digital signal processing… 
2005
2005
Almost all universities offer introductory courses that focus on microcontroller-based systems and embedded programming. Advanced… 
2005
2005
Test driven development (TDD) is one of the key Agile practices. A version of CppUnitLite was modified to meet the memory and… 
2005
2005
Reconfigurable platforms can be very effective for lowering production costs because they allow the reuse of architecture… 
2003
2003
Several driving forces have recently brought about significant advances in the field of configurable computing. They have also… 
Highly Cited
2002
Highly Cited
2002
Designing hardware and software in isolation no longer provides good solutions for complex embedded systems. Hardware-software… 
Highly Cited
1997
Highly Cited
1997
Hardware-software partitioning is one of the most important issues of codesign of embedded systems because it is made at the… 
1995
1995
The increasing complexity of todays computing systems necessitates new design methodologies. One of the most promising methods is… 
1994
1994
This paper presents a method for modeling and synthesizing mixed HW/SW systems. The proposed method starts from a full system…