#### Filter Results:

- Full text PDF available (10)

#### Publication Year

1983

2017

- This year (1)
- Last 5 years (4)
- Last 10 years (8)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Victor N. Kravets, Karem A. Sakallah
- ICCAD
- 2000

In this paper we take a fresh look at the notion of symmetries in Boolean functions. Our studies are motivated by the fact that the classical characterization of symmetries based on invariance under variable swaps is a special case of a more general invariance based on unrestricted variable permutations. We propose a generalization of classical symmetry… (More)

- Victor N. Kravets, Prabhakar Kudva
- Proceedings. 41st Design Automation Conference…
- 2004

We describe an implicit technique for enumerating structural choices in circuit optimization. The restructuring technique relies on the symbolic statements of functional decomposition which explores behavioral equivalence of circuit signals through rewiring and resubstitution. Using rigid, yet practical, formulation a rich variety of restructuring… (More)

- Victor N. Kravets, Alan Mishchenko
- 2009 Design, Automation & Test in Europe…
- 2009

This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are decomposed to enhance the quality of technology-dependent synthesis. The decomposition choices are computed implicitly using novel formulation of symbolic bi-decomposition that is… (More)

- Victor N. Kravets, Karem A. Sakallah
- DATE
- 2000

In this paper a constructive library-aware multilevel logic synthesis approach using symmetries is described. It integrates the technology-independent and technologydependent stages of synthesis, and is premised on the goal of relating the functional structure of a logic specification closer to the ultimate topological and physical structures. We show that… (More)

- Victor N. Kravets, Karem A. Sakallah
- ICCAD
- 2002

We apply recently introduced constructive multi-level synthesis in the resynthesis loop targeting convergence of industrial designs. The incremental ability of the resynthesis approach allows more predictable circuit implementations while allowing their aggressive optimization. The approach is based on a very general symbolic decomposition template for… (More)

- Haoxing Ren, Mary P. Kusko, Victor N. Kravets, Rona Yaari
- ITC
- 2009

- Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton
- 2008 45th ACM/IEEE Design Automation Conference
- 2008

This paper presents a new type of sequential technology independent synthesis. Building on the previous notions of combinational observability and sequential equivalence, sequential observability is introduced and discussed. By considering both the sequential nature of the design and observability simultaneously, better results can be obtained than with… (More)

Reducing delay of a digital circuit is an important topic in logic synthesis for standard cells and LUT-based FPGAs. This paper presents a simple, fast, and very efficient synthesis algorithm to improve the delay after technology mapping. The algorithm scales to large designs and is implemented in a publicly-available technology mapper. The code is… (More)

- Victor N. Kravets, Prabhakar Kudva
- SLIP
- 2003

We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthesis tools. Dubbed M32, this system is capable of generating circuits incrementally based on both functional as well as structural considerations. This is achieved by maintaining a… (More)