MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

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

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

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

ATOM

Binary Synthesis
by Greg Stitt, Frank Vahid
…Binary Synthesis GREG STITT and FRANK VAHID University of California, Riverside Recent high…
Cited by 1 (1 self) – Add To MetaCart

Techniques for Synthesizing Binaries to an Advanced Register/Memory Structure
by Greg Stitt, Zhi Guo, Frank Vahid, Walid Najjar — 2005 — IN FPGA ’05: PROCEEDINGS OF THE 2005 ACM/SIGDA 13TH INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE GATE ARRAYS
… and arrays. We incorporate decompilation techniques into an existing binary synthesis tool flow to recover…
Cited by 5 (2 self) – Add To MetaCart

MVSIS 2.0 user’s manual
by Donald Chai, Jie-hong Jiang, Yunjian Jiang, Yinghua Li, Alan Mishchenko, Robert Brayton
… it is encoded into binary and processed by standard binary logic synthesis programs; MV is a natural way…
Cited by 1 (0 self) – Add To MetaCart

New Decompilation Techniques for Binary-level Co-processor Generation
by Greg Stitt, Frank Vahid — 2005
… structures, binary synthesis could often create hardware with almost identical performance compared…
Cited by 5 (4 self) – Add To MetaCart

BDD Package Based on Boolean NOR Operation
by M. Raseen, A. Assi, P. W. C. Prasad, A. Harb
…, the basic synthesis algorithm is done using Boolean NOR operation. Keywords— Binary Decision Diagram (BDD…
Add To MetaCart

Fast and Efficient Construction of BDDs by Reordering Based Synthesis
by Andreas Hett Rolf, Rolf Drechsler, Bernd Becker — 1997 — In IEEE European Design & Test Conference
… briefly describe the OR-operation, but the approach can directly be applied for any binary synthesis…
Add To MetaCart

Asymptotically Optimal Bounds For OBDDs And The Solution Of Some Basic OBDD Problems
by Ingo Wegener, Beate Bollig, Beate Bollig — 2000
… circuit, into an OBDD representation. This is done by a sequence of binary synthesis steps. A binary…
Cited by 1 (0 self) – Add To MetaCart

MORE: An Alternative Implementation of BDD Packages by Multi-Operand Synthesis
by Andreas Hett, Rolf Drechsler, Bernd Becker — 1996 — In European Design Automation Conf
…�Then�Else�operator �ITE� has been used� since all binary synthesis operations can easily be de� scribed by the use of ITE…
Cited by 19 (10 self) – Add To MetaCart

Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs
by Jordan Gergov, Christoph Meinel — 1993 — Proc. of 10th Annual Symposium on Theoretical Aspects of Computer Science (Feb.), Lecture Notes in Computer Science 665
… frequently are - equivalency test (especially satisfiability test) and - binary synthesis. Further…
Cited by 21 (8 self) – Add To MetaCart

Implementation and Visualization of a BDD Package in JAVA
by Rolf Drechsler, Jochen Römmler, Rolf Drechsler Jochen Rommler
…) algorithm from [2] is given in Figure 1. Based on ITE all binary synthesis operations, like AND and OR, can…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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