Characterization of Boolean functions for rapid matching in EPGA technology mapping - Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
نویسنده
چکیده
This paper i n i d m u s chanscierisiic signaimms for Boolean frndions. The signairns do noi ezhibii sensiiiviiy i o permridions of inpri variables. We we ihesc signairres io develop a meihd of mpidly maiching srbcircviis m*ih celb in a (large) libnsry. The procedmn id analogow i o baahing. This approad promww signi$xnZ improvements for Eibrorg mdching m*ih large libnriw, f o r ctample in EPGA icchnolog y mapping.
منابع مشابه
The Electronic Design Interchange Format EDIF: present and future - Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
This paper reviews the present status and current developments of the Electronic Design Interchange Format, EDIF. After a review of the role EDIF has at present, some of the new ideas being developed for inclusion in the new release of EDIF (Version 2 1 0 ) are introduced.
متن کاملIncremental circuit simulation using waveform relaxation - Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
In this paper, two algorithms are developed using waveform relaxation for the rapid re-simulation of circuits that have been modified slightly compared to a previous simulation run. Both local and global changes can be handled so long as the changes are relatively small. In this approach, the window sizes, step sizes, and final waveforms from a previous simulation are used to drive the incremen...
متن کاملTransformation-based high-level synthesis of fault-tolerant ASICs - Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
A s fault-tolemne becomes common in everyday applications (like computerized automobile control) where cost of design and time-to-market me crucial factors, software mechanisms for the automatic design of faulttolemnt ASIC5 merit immediate attention. A straightforward replication of a design is ezpensiue. In this paper, we present a transformation-bosed approach to the high-level synthesis of f...
متن کاملThe Princeton University behavioral synthesis system - Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
The Princeton University Behavioral Synthesis System (PUBSS) is a high-level synthesis system targeted to control-dominated machines. PUBSS accepts a VHDL subset, in which the design can be described as multiple communicating processes plus registers, and generates a register-transfer implementation. This paper describes the compiler with emphasis on the automaton-based algorithms which allow e...
متن کاملMapping switch-level simulation onto gate-level hardware accelerators - Design Automation Conference, 1991. 28th ACM/IEEE
In this paper, we present a framework for performing switchlevel simulation on hardware accelerators. A symbolic analyzer preprocesses the MOS network into a functionally equivalent Boolean representation. The analyzer thus converts switch-level simulation into a task of evaluating Boolean expressions. Our approach maps the Boolean r e p resentation into the instruction set of the hardware acce...
متن کامل