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)

Related topics

Related topics

14 relations
Abstraction layerBLASTBOINCComputer hardware

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
R-Codesign: Codesign Methodology for Real-Time Reconfigurable Embedded Systems Under Energy Constraints
Hardware/software codesign involves various design problems, including system specification, design space exploration, hardware… 
Review
2007
Review
2007
An Overview of a Compiler for Mapping Software Binaries to Hardware
As new applications in embedded communications and control systems push the computational limits of digital signal processing… 
2005
2005
A platform FPGA-based hardware-software undergraduate laboratory
Almost all universities offer introductory courses that focus on microcontroller-based systems and embedded programming. Advanced… 
2005
2005
E-TDD - Embedded Test Driven Development a Tool for Hardware-Software Co-design Projects
Test driven development (TDD) is one of the key Agile practices. A version of CppUnitLite was modified to meet the memory and… 
2005
2005
Software development for high-performance, reconfigurable, embedded multimedia systems
Reconfigurable platforms can be very effective for lowering production costs because they allow the reuse of architecture… 
2003
2003
Performance optimization of an FPGA-based configurable multiprocessor for matrix operations
Several driving forces have recently brought about significant advances in the field of configurable computing. They have also… 
Highly Cited
2002
Highly Cited
2002
Hardware-software codesign
Designing hardware and software in isolation no longer provides good solutions for complex embedded systems. Hardware-software… 
Highly Cited
1997
Highly Cited
1997
Functional partitioning for hardware-software codesign using genetic algorithms
Hardware-software partitioning is one of the most important issues of codesign of embedded systems because it is made at the… 
1995
1995
Dependability analysis in HW-SW codesign
The increasing complexity of todays computing systems necessitates new design methodologies. One of the most promising methods is… 
1994
1994
An approach for hardware-software codesign
This paper presents a method for modeling and synthesizing mixed HW/SW systems. The proposed method starts from a full system… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)