Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJune 2012
Boolean satisfiability using noise based logic
DAC '12: Proceedings of the 49th Annual Design Automation ConferencePages 1260–1261https://doi.org/10.1145/2228360.2228593Noise-based Logic (NBL) is a probabilistic logic system which can be used to simultaneously apply a superposition of arbitrarily many input vectors to a SAT instance. Using this property, we can determine whether an instance is SAT in a single ...
- research-articleJune 2012
Material implication in CMOS: a new kind of logic
DAC '12: Proceedings of the 49th Annual Design Automation ConferencePages 1258–1259https://doi.org/10.1145/2228360.2228592For more than seventy years, all the development in digital electronics have been founded on Shannon's work based on the fact that Boolean logic operators, OR, AND and NOT, can form a computationally complete logic framework. We propose a new paradigm ...
- research-articleJune 2012
Removing overhead from high-level interfaces
DAC '12: Proceedings of the 49th Annual Design Automation ConferencePages 783–789https://doi.org/10.1145/2228360.2228502Hardware modules would be much easier to reuse if they supported generic flexible high-level interfaces. However, these interfaces are rarely used since they lead to timing and area overheads compared to a customized design. This paper describes a ...
- research-articleJune 2012
Design tools for artificial nervous systems
DAC '12: Proceedings of the 49th Annual Design Automation ConferencePages 717–722https://doi.org/10.1145/2228360.2228490Electronic and biological systems both perform complex information processing, but they use very different techniques. Though electronics has the advantage in raw speed, biological systems have the edge in many other areas. They can be produced, and ...
- research-articleJune 2012
Avoiding game over: bringing design to the next level
- Ofer Shacham,
- Megan Wachs,
- Andrew Danowitz,
- Sameh Galal,
- John Brunhaver,
- Wajahat Qadeer,
- Sabarish Sankaranarayanan,
- Artem Vassiliev,
- Stephen Richardson,
- Mark Horowitz
DAC '12: Proceedings of the 49th Annual Design Automation ConferencePages 623–629https://doi.org/10.1145/2228360.2228472Technology scaling has created a catch-22: technology now can do almost anything we want, but the NRE design costs are so high, that almost no one can afford to use it. Our current situation is reminiscent of the 1980's, when only a few companies could ...
- research-articleJune 2012
Making non-volatile nanomagnet logic non-volatile
- Aaron Dingler,
- Steve Kurtz,
- Michael Niemier,
- Xiaobo Sharon Hu,
- Gyorgy Csaba,
- Joseph Nahas,
- Wolfgang Porod,
- Gary Bernstein,
- Peng Li,
- Vjiay Karthik Sankar
DAC '12: Proceedings of the 49th Annual Design Automation ConferencePages 476–485https://doi.org/10.1145/2228360.2228445Field-coupled nanomagnets can offer significant energy savings at iso-performance versus CMOS equivalents. Magnetic logic could be integrated with CMOS, operate in environments that CMOS cannot, and retain state without power. Clocking requirements lead ...
- research-articleJune 2012
A compiler and runtime for heterogeneous computing
DAC '12: Proceedings of the 49th Annual Design Automation ConferencePages 271–276https://doi.org/10.1145/2228360.2228411Heterogeneous systems show a lot of promise for extracting high-performance by combining the benefits of conventional architectures with specialized accelerators in the form of graphics processors (GPUs) and reconfigurable hardware (FPGAs). Extracting ...