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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1993-2018
051019932018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
Existent hardware-software (HW-SW) codesign tools mainly focus on HW-SW cosimulation to build a virtual prototyping environment… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2001
2001
For cryptographic applications, normal bases have received considerable attention, especially for hardware implementation. In… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2000
2000
Concurrent Embedded Real-Time Software (CERTS) is intrinsically di€erent from traditional, sequential, independent, and… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
1998
Highly Cited
1998
0740-7475/98/$10.00 © 1998 IEEE 45 EVER-INCREASING EMBEDDED-SYSTEM design complexity combined with a very tight time-to-market… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1998
1998
of Pointer Analysis to the Luc Semetia Iucs@azur.stanford. edu Behavioral Synthesis from C Giovmti De Micheli nanni @galileo… (More)
Is this relevant?
1997
1997
This paper deals with the problem of hardware-software codesign of hard real-time systems. For a given task set, we perform an… (More)
Is this relevant?
1994
1994
1994
Designers generally implement embedded controllers for reactive real-time applications as mixed software-hardware systems. In our… (More)
  • figure 3
  • figure 5
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… (More)
Is this relevant?