Find link

language:

Find link is a tool written by Edward Betts.

searching for Logic synthesis 38 found (105 total)

Logic in China (1,149 words) [view diff] no match in snippet view article find links to article

Philosophy 32: 349–366. Rošker, Jana S. 2014. Specific features of Chinese logic. Synthesis philosophica, ISSN 1848-2317. vol. 29, no. 1, pp. 23–40. Rošker, Jana

Approximate computing (1,381 words) [view diff] exact match in snippet view article find links to article

et al. "SALSA: systematic logic synthesis of approximate circuits", DAC, 2012. J. Miao, et al. "Approximate logic synthesis under general error magnitude

Verilog-to-Routing (942 words) [view diff] exact match in snippet view article find links to article

flow; for example the Titan Flow uses Quartus to perform the HDL to logic synthesis stage, and then VPR to perform placement and routing, while Symbiflow

IEEE 1164 (842 words) [view diff] case mismatch in snippet view article find links to article

IEEE 1364 defines a four-valued logic (among other things) "VHDL and Logic Synthesis". Retrieved 22 January 2010. "IEEE 1164-1993 – IEEE Standard Multivalue

Boolean domain (825 words) [view diff] case mismatch in snippet view article find links to article

pp. 65. ISBN 978-0-262-16148-0. Cortadella, Jordi; et al. (2002). Logic Synthesis for Asynchronous Controllers and Interfaces. Springer Science & Business

Dmitri Maslov (709 words) [view diff] exact match in snippet view article find links to article

for reversible logic synthesis, known as the MMD algorithm, a top-performing and best-cited algorithm for reversible logic synthesis The introduction

Cell (EDA) (176 words) [view diff] exact match in snippet view article

a modern design flow logic design is automatic and will be done by logic synthesis tools. To simplify electrical and geometrical design (layout) of digital

Forte Design Systems (415 words) [view diff] exact match in snippet view article find links to article

Cynthesizer is Verilog, which is then run automatically through a logic synthesis tool. Cadence press release: Cadence to Enhance High-Level Synthesis

Programmer (hardware) (1,192 words) [view diff] case mismatch in snippet view article

ISBN 9781351830201. Czerwinski, Robert; Kania, Dariusz (2013). Finite State Machine Logic Synthesis for Complex Programmable Logic Devices. Springer Science & Business

Computer Pioneer Award (421 words) [view diff] exact match in snippet view article find links to article

digital systems over five decades, including the first algorithm for logic synthesis (the Quine-McCluskey method) Carl A. Petri Petri net theory (1962)

Computer Pioneer Award (421 words) [view diff] exact match in snippet view article find links to article

digital systems over five decades, including the first algorithm for logic synthesis (the Quine-McCluskey method) Carl A. Petri Petri net theory (1962)

Physical design (electronics) (1,837 words) [view diff] exact match in snippet view article

pins and sync pins. 'Don't touch' circuits and pins in front end (logic synthesis) are treated as 'ignore' circuits or pins at back end (physical synthesis)

Asynchronous system (1,172 words) [view diff] case mismatch in snippet view article find links to article

Circuits", chapter 10 in eds. Soha Hassoun and Tsutomu Sasao (2002). Logic Synthesis and Verification. Kluwer Academic Publishers. ISBN 0-7923-7606-4. {{cite

R. Iris Bahar (252 words) [view diff] case mismatch in snippet view article find links to article

Colorado (1995), with the dissertation "Methods for Timing Analysis and Logic Synthesis to Decrease Power Dissipation". Since 1996 she is with Brown University

Catapult C (929 words) [view diff] exact match in snippet view article find links to article

methodology over RTL code. Catapult C supports both algorithmic and control logic synthesis. Designers do iterations with CatC to pick their preferred micro architecture

Join and meet (2,262 words) [view diff] exact match in snippet view article find links to article

ISBN 978-3-7643-6996-5. Hachtel, Gary D.; Somenzi, Fabio (1996). Logic synthesis and verification algorithms. Kluwer Academic Publishers. p. 88. ISBN 0792397460

Control unit (4,299 words) [view diff] exact match in snippet view article find links to article

doi:10.1109/te.2002.808278. ISSN 0018-9359. Barkalov, Alexander (2009). Logic synthesis for FSM based control units / Alexander Barkalov and Larysa Titarenko

Gil Masters (509 words) [view diff] exact match in snippet view article find links to article

thesis in electrical engineering in four years, titled "Threshold logic synthesis of sequential machines," in 1966. After leaving Stanford, Masters took

Boole's expansion theorem (1,234 words) [view diff] case mismatch in snippet view article find links to article

Elements of Mathematical Logic. p. 5. G. D. Hachtel and F. Somezi (1996), Logic Synthesis and Verification Algorithms, p. 234 Boole, George (1854). An Investigation

List of fellows of IEEE Circuits and Systems Society (78 words) [view diff] exact match in snippet view article find links to article

the development of practical techniques and algorithms for automated logic synthesis of high-performance computers 1991 Alice C. Parker For contributions

EnCore Processor (503 words) [view diff] exact match in snippet view article find links to article

all flip-flops in the design were automatically clock-gated during logic synthesis. LVS and DRC checks were performed using Calibre, from Mentor Graphics

Pran Kurup (378 words) [view diff] case mismatch in snippet view article find links to article

books. The first two books were on technical topics. He co-authored Logic Synthesis Using Synopsys with Taher Abbasi. The second book It's the Methodology

Data compression (7,543 words) [view diff] case mismatch in snippet view article find links to article

Information. 7 (4): 56. doi:10.3390/info7040056. "Data Compression via Logic Synthesis" (PDF). Hilbert, Martin; López, Priscila (1 April 2011). "The World's

Comparison of EDA software (990 words) [view diff] exact match in snippet view article find links to article

high-level synthesis down to layout generation The flow includes Yosys for logic synthesis, OpenLane for physical synthesis and targets the SkyWater 130nm PDK

Rendition, Inc. (2,411 words) [view diff] exact match in snippet view article find links to article

SiArch (licensed through Synopsys at that time) for their digital logic synthesis, which is done by means of sophisticated software auto generating and

List of pioneers in computer science (1,515 words) [view diff] exact match in snippet view article find links to article

testing of digital systems, including the first algorithm for digital logic synthesis, the Quine-McCluskey logic minimization method. 1986 Meyer, Bertrand

Chris Rowen (745 words) [view diff] exact match in snippet view article find links to article

development of optimizing RISC compilers and creation of an early logic synthesis and layout system, for his PhD dissertation: SWAMI: A Flexible Logic

Michael Genesereth (1,577 words) [view diff] no match in snippet view article find links to article

ISBN 978-1-59829-741-6. ——; Kao, Eric (2012). Introduction to Logic. Synthesis Lectures on Computer Science. Morgan & Claypool. doi:10

Petri net (7,229 words) [view diff] case mismatch in snippet view article find links to article

Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A. (2002). Logic Synthesis for Asynchronous Controllers and Interfaces. Springer Series in Advanced

Reed–Muller expansion (2,289 words) [view diff] exact match in snippet view article find links to article

Kebschull, Udo; Schubert, Endric; Rosenstiel, Wolfgang (1992). "Multilevel logic synthesis based on functional decision diagrams". Proceedings of the 3rd European

Don't-care term (2,106 words) [view diff] case mismatch in snippet view article find links to article

(2+xxviii+699+10+2 pages) Naylor, David; Jones, Simon (May 1997). VHDL: A Logic Synthesis Approach (reprint of 1st ed.). Chapman & Hall / Cambridge University

Signal transition graphs (3,719 words) [view diff] case mismatch in snippet view article find links to article

Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A. (2002). Logic Synthesis for Asynchronous Controllers and Interfaces. Springer Series in Advanced

Jason Cong (974 words) [view diff] exact match in snippet view article find links to article

(FlowMap) for lookup-table based FPGAs is a cornerstone of all FPGA logic synthesis tools used today. This, together with the subsequent works on the cut-enumeration

Propositional calculus (16,095 words) [view diff] no match in snippet view article find links to article

ISBN 978-1-107-12032-7. Genesereth, Michael; Kao, Eric J. (2017). Introduction to Logic. Synthesis Lectures on Computer Science. Cham: Springer International Publishing

Memristor (13,866 words) [view diff] exact match in snippet view article find links to article

1049/el.2010.3407. Chattopadhyay, A.; Rakosi, Z. (2011). "Combinational logic synthesis for material implication". 2011 IEEE/IFIP 19th International Conference

University of the Philippines College of Engineering (4,360 words) [view diff] exact match in snippet view article find links to article

engineering, including digital designs, operating systems, sequential logic synthesis, CPU design, computer networks and computer systems engineering. Bachelor

List of fellows of IEEE Engineering in Medicine and Biology Society (53 words) [view diff] exact match in snippet view article find links to article

biomedical electronic systems. 1996 Keutzer, Kurt For contributions to logic synthesis and computer-aided design; specifically for the development of algorithms

List of fellows of IEEE Computer Society (104 words) [view diff] exact match in snippet view article find links to article

verification, very large scale integrated (VLSI) circuit testing and logic synthesis. 1999 Chung-C Kuo For contributions to multiresolution techniques with