Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,697,534 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.
2010
2010
Self-Reconfigurable Channel Data Buffering Scheme and Circuit Design for Adaptive Flow Control in Power-Efficient Network-on-Chips
Rajdeep Bondade
,
D. Ma
IEEE Transactions on Circuits and Systems Part 1…
2010
Corpus ID: 19989425
This paper presents a self-reconfigurable channel data buffering scheme and circuit design for next-generation network-on-chips…
Expand
2009
2009
Embedded Software Design of Scalable Low-Area Elliptic-Curve Cryptography
Mohamed N. Hassan
,
M. Benaissa
IEEE Embedded Systems Letters
2009
Corpus ID: 8814495
In this letter, a fully software implementation of scalable elliptic curve cryptography (ECC) over GF(2m) on a tiny…
Expand
2007
2007
Simulink based hardware-software codesign flow for heterogeneous MPSoC
K. Popovici
,
A. Jerraya
Summer Computer Simulation Conference
2007
Corpus ID: 12837904
SystemC based design methodology has been widely adopted for heterogeneous multiprocessor System on Chip (MPSoC) design. However…
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
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
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
2000
2000
Methodologies for the Design of Application-Specific Reconfigurable VLIW Processors
Laura Pozzi
,
Mariagiovanna Sami
2000
Corpus ID: 15187739
Sommario Il mercato dei dispositivi dedicati a specifiche applicazioni (detti anche " sis-temi embedded ") come per esempio…
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