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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
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
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
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
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?
2000
2000
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
In hardware-software codesign paradigm often a performance estimation of the system is needed for hardware-software partitioning… Expand
Is this relevant?
1998
1998
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 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
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?