Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Related topics

Related topics

14 relations
Abstraction layerBLASTBOINCComputer hardware
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Hardware-Software Codesign of Wireless Transceivers on Zynq Heterogeneous Systems
Recently, wireless technology has seen many new devices, protocols, and applications. As standards adapt to keep pace with… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2017
2017
Hardware-software codesign of accurate, multiplier-free Deep Neural Networks
While Deep Neural Networks (DNNs) push the state-of-the-art in many machine learning applications, they often require millions of… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
2013
2013
Active-learning-based surrogate models for empirical performance tuning
Performance models have profound impact on hardware-software codesign, architectural explorations, and performance tuning of… Expand
  • table I
  • figure 2
  • figure 1
  • figure 4
  • figure 3
Is this relevant?
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… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Hardware-software codesign of embedded systems
 
Is this relevant?
2000
2000
Hardware-software timing coverification of concurrent embedded real-time systems
The results of hardware-software codesign of concurrent embedded real-time systems are often not verified or not easily… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Processor modeling for hardware software codesign
In hardware-software codesign paradigm often a performance estimation of the system is needed for hardware-software partitioning… Expand
Is this relevant?
1998
1998
Design space exploration algorithm for heterogeneous multi-processor embedded system design
Single-chip multi-processor embedded system becomes nowadays a feasible and very interesting option. What is needed however is an… Expand
  • figure 1
  • figure 4
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
1993
Highly Cited
1993
A Model and Methodology for Hardware-Software Codesign
A behavioral model of a class of mixed hardware-software systems is presented. A codesign methodology for such systems is defined… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
A hardware-software codesign methodology for DSP applications
The authors describe a systematic, heterogeneous design methodology using the Ptolemy framework for simulation, prototyping, and… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE