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

Design Automation Conference

Known as: DAC, Marie Pistilli, Pat Pistilli 
The Design Automation Conference, or DAC, is an annual event, a combination of a technical conference and a trade show, both specializing in… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Recent exploration into the unique security challenges of cloud computing have shown that when virtual machines belonging to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Current mainstream system-on-chip (SoC) designs do not yet fully exploit the 100 million transistors per chip possible with today… Expand
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Research in algorithms for Boolean satisfiability (SAT) and their implementations (Goldberg and Novikov, 2002), (Moskewicz et al… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
A method of symbolic model checking is introduced that uses conjunctive normal form (CNF) rather than binary decision diagrams… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We describe new techniques for model checking in the counterexample guided abstraction/refinement framework. The abstraction… Expand
Is this relevant?
1998
1998
Reducing power dissipation is becoming more important in the design of embedded systems. Core-based system design opens up the… Expand
  • figure 1
  • table 3
  • table 4
  • table 2
  • figure 2
Is this relevant?
Highly Cited
1997
Highly Cited
1997
In this paper we develop a gate level model that allows us to determinethe best and worst case delay when there is dominant… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Application Specific Instruction set Processors (ASIPs) are field or mask programmable processors of which the architecture and… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • table 4
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Because of the difficulty of adequately simulating large digital designs, there has been a recent surge of interest in formal… Expand
  • figure 2.7
Is this relevant?
1975
1975
Copyright 2001 by the Association for Computing Machinery, Inc. (ACM). Permission to make digital or hard copies of portions of… Expand
Is this relevant?