MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Incremental synthesis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

60 documents found, showing 1 through 10. Next 10 →

ATOM

Incremental synthesis
by Daniel Brand, Anthony Drumm, Sandip Kundu, Prakash Narain — 1994 — In Proc. Intl. Conf. on Computer-Aided Design
…Incremental Synthesis Daniel Brand Anthony Drumm Sandip Kundu Prakash Narain IBM Research Division…
Cited by 12 (1 self) – Add To MetaCart

Automated incremental synthesis of timed automata
by Borzoo Bonakdarpour, Eep S. Kulkarni — 2006 — In International Workshop on Formal Methods for Industrial Critical Systems (FMICS
…Automated Incremental Synthesis of Timed Automata 1 Borzoo Bonakdarpour , Sandeep S. Kulkarni…
Cited by 1 (1 self) – Add To MetaCart

Deterministic Name Generation for Incremental Synthesis
by Quan Dinh Tran
…Deterministic Name Generation for Incremental Synthesis by Quan Dinh Tran, Mentor Graphics…
Add To MetaCart

Automated Incremental Synthesis of Timed Automata1
by unknown authors
… Automated Incremental Synthesis of Timed Automata1 Borzoo Bonakdarpour , Sandeep S. Kulkarni…
Add To MetaCart

Incremental Methods for Formal Verification and Logic Synthesis
by Gitanjali Meher Swamy, Gitanjali Meher Swamy, Gitanjali Meher Swamy — 1996
…Incremental Methods for Formal Verification and Logic Synthesis by Gitanjali Meher Swamy B…
Cited by 5 (0 self) – Add To MetaCart

RUMBLE: An Incremental, Timing-driven, Physical-synthesis Optimization Algorithm
by David A. Papa, Tao Luo, Michael D. Moffitt, C. N. Sze, Zhuo Li, Gi-joon Nam, Charles J. Alpert, Igor L. Markov
…RUMBLE: An Incremental, Timing-driven, Physical-synthesis Optimization Algorithm David A. Papa…
Add To MetaCart

Quality of EDA CAD tools: definitions, metrics, and directions
by A. H. Farrahi — 2000 — IEEE International Symposium on Quality Electronic Design
… synthesis, incremental synthesis, system-level interconnect prediction and planning, and their implications…
Cited by 1 (0 self) – Add To MetaCart

Minimal Logic Re-synthesis
by Gitanjali M. Swamy, Sriram Rajamani, Chris Lennard, Robert K. Brayton — 1994
… to retain as much of this human insight as possible. This motivates the need for incremental synthesis. We…
Cited by 2 (2 self) – Add To MetaCart

Minimal Logic Re-Synthesis For Engineering Change
by Gitanjali Swamy, Sriram Rajamani, Chris Lennard, Robert K. Brayton — 1997 — International Symposium on Circuits and Systems
… algorithms for the problem of incremental synthesis have dealt with post-rectification (Watanabe et al. [9…
Cited by 4 (0 self) – Add To MetaCart

FPGA-based SAT solver architecture with near-zero synthesis and layout overhead
by Peixin Zhong, Margaret Martonosi — 2000 — IEEE Proceedings-Computers and Digital Techniques
…An FPGA-Based SAT Solver Architecture with Near-Zero Synthesis and Layout Overhead Abstract…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB