Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,300 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Abstraction layer
BLAST
BOINC
Computer hardware
Expand
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
Ines Ghribi
,
Riadh Ben Abdallah
,
M. Khalgui
,
Zhiwu Li
,
K. Alnowibet
,
M. Platzner
IEEE Access
2018
Corpus ID: 4623561
Hardware/software codesign involves various design problems, including system specification, design space exploration, hardware…
Expand
Review
2007
Review
2007
An Overview of a Compiler for Mapping Software Binaries to Hardware
Gaurav Mittal
,
David Zaretsky
,
Xiaoyong Tang
,
P. Banerjee
IEEE Transactions on Very Large Scale Integration…
2007
Corpus ID: 23547313
As new applications in embedded communications and control systems push the computational limits of digital signal processing…
Expand
2005
2005
A platform FPGA-based hardware-software undergraduate laboratory
J. Schneider
,
Mikel Bezdek
,
Ziyu Zhang
,
Zhao Zhang
,
D. Rover
International Conference on Microelectronics…
2005
Corpus ID: 13488772
Almost all universities offer introductory courses that focus on microcontroller-based systems and embedded programming. Advanced…
Expand
2005
2005
E-TDD - Embedded Test Driven Development a Tool for Hardware-Software Co-design Projects
Michael R. Smith
,
Andrew K. C. Kwan
,
Alan Martin
,
James Miller
International Conference on Agile Software…
2005
Corpus ID: 6232222
Test driven development (TDD) is one of the key Agile practices. A version of CppUnitLite was modified to meet the memory and…
Expand
2005
2005
Software development for high-performance, reconfigurable, embedded multimedia systems
A. L. Rosa
,
L. Lavagno
,
C. Passerone
IEEE Design & Test of Computers
2005
Corpus ID: 22960398
Reconfigurable platforms can be very effective for lowering production costs because they allow the reuse of architecture…
Expand
2003
2003
Performance optimization of an FPGA-based configurable multiprocessor for matrix operations
Xiaofang Wang
,
Sotirios G. Ziavras
International Conference on Field-Programmable…
2003
Corpus ID: 5846437
Several driving forces have recently brought about significant advances in the field of configurable computing. They have also…
Expand
Highly Cited
2002
Highly Cited
2002
Hardware-software codesign
Puneet Gupta
2002
Corpus ID: 62607609
Designing hardware and software in isolation no longer provides good solutions for complex embedded systems. Hardware-software…
Expand
Highly Cited
1997
Highly Cited
1997
Functional partitioning for hardware-software codesign using genetic algorithms
J. Hidalgo
,
J. Lanchares
EUROMICRO 97. Proceedings of the 23rd EUROMICRO…
1997
Corpus ID: 17743239
Hardware-software partitioning is one of the most important issues of codesign of embedded systems because it is made at the…
Expand
1995
1995
Dependability analysis in HW-SW codesign
G. Csertán
,
A. Pataricza
,
E. Selényi
Proceedings of IEEE International Computer…
1995
Corpus ID: 62325322
The increasing complexity of todays computing systems necessitates new design methodologies. One of the most promising methods is…
Expand
1994
1994
An approach for hardware-software codesign
T. B. Ismail
,
M. Abid
,
K. O'Brien
,
A. Jerraya
Proceedings of IEEE 5th International Workshop on…
1994
Corpus ID: 35937352
This paper presents a method for modeling and synthesizing mixed HW/SW systems. The proposed method starts from a full system…
Expand
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)
ACCEPT & CONTINUE