An analysis of global flow and algebraic factoring techniques in logic synthesis

An analysis of global flow and algebraic factoring techniques in logic synthesis

Thesis: B.S., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 1991

Bibliographic Details
Main Author:	Chen, Curtis S.
Other Authors:	Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format:	Thesis
Published:	Massachusetts Institute of Technology 2024
Subjects:	Electrical Engineering and Computer Science
Online Access:	https://hdl.handle.net/1721.1/156052

Similar Items

Linear algebraic techniques in algorithms and complexity
by: Alman, Josh(Joshua H.)
Published: (2020)

Development of Metamodels as Logical and Algebraic Systems
by: Mezhuyev, Vitaliy
Published: (2014)

Image based rendering using algebraic techniques
by: Evgeniou, Theodorros K. (Theodoros Kostantinos)
Published: (2008)

The logic of systems.
by: Furtek, Frederick Curtis
Published: (2005)

Area minimization techniques of single-output functions
by: Chen, Curtis S.
Published: (2024)

Reversible logic synthesis with minimal usage of ancilla bits
by: Xu, Siyao, M.Eng. Massachusetts Institute of Technology
Published: (2016)

A new algorithm for factorization of logic expressions
by: Fallah, Farzan
Published: (2007)

Faster linear algebra for data analysis and machine learning
by: Musco, Christopher Paul
Published: (2018)

Integration of algebraic functions
by: Trager, Barry Marshall
Published: (2005)

Circuit design for logic automata
by: Chen, Kailiang
Published: (2010)

Algebraic relaxations and hardness results in polynomial optimization and Lyapunov analysis
by: Ahmadi, Amir Ali
Published: (2012)

Spectral techniques for multiple-valued logic
by: Rahardja Susanto
Published: (2009)

Intermediate logics and equational classes of Brouwerian algebras.
by: Kirk, Robert Elefter.
Published: (2024)

Path splitting--a technique for improving data flow analysis
by: Poletto, Massimiliano Antonio
Published: (2006)

Sparse tensor algebra compilation
by: Kjølstad, Fredrik Berg.
Published: (2020)

Algebraic methods in randomness and pseudorandomness
by: Kopparty, Swastik
Published: (2011)

Symmetries in algebraic Property Testing
by: Grigorescu, Elena, Ph. D., Massachusetts Institute of Technology
Published: (2011)

Reachability analysis and deterministic global optimization of differential-algebraic systems
by: Scott, Joseph Kirk
Published: (2013)

An investigation of the applicability of fuzzy logic techniques to real-time temporal classification for threat warning systems
by: Boyd, Timothy James
Published: (2006)

Spectral techniques in digital logic
by: Chang, Chip Hong.
Published: (2010)

Applications of algebraic geometry to coding & cryptography
by: Anderson, William Erik, 1976-
Published: (2014)

Algebraic methods in pseudorandomness and circuit complexity
by: Remscrim, Zachary (Zachary N.)
Published: (2016)

Content-based access to algebraic video
by: Weiss, Ron, 1970-
Published: (2005)

The Logic of Systems
by: Furtek, Frederick Curtis
Published: (2023)

Modeling, synthesis and test logic insertion for DLX CPU
by: Bandlamudi Kirankumar
Published: (2010)

Applications of abelian algebraic structures in quantum computation
by: Zatloukal, Kevin C. (Kevin Chaffee)
Published: (2016)

Intelligent algebraic tutoring based on student misconceptions
by: Grossman, Brian Matthew
Published: (2007)

Unfield sparse formats for tensor algebra compilers
by: Chou, Stephen (Computer scientist) Massachusetts Institute of Technology
Published: (2018)

Sparse tensor transpositions in the tensor algebra compiler
by: Mueller, Suzanne A.
Published: (2021)

Logic matter : digital logic as heuristics for physical self-guided-assembly
by: Tibbits, Skylar J. E
Published: (2011)

Recovered energy logic--a logic family and power supply featuring very high efficiency
by: Hinman, Roderick Thornton
Published: (2005)

Transforms and algorithms for spectral techniques in binary and multiple-valued logic
by: Cicilia Claudia Lozano
Published: (2008)

A Tensor Algebra Compiler library interface and runtime
by: Noyola, Patricio.
Published: (2019)

Linear algebraic approaches to coding for multiple unicast networks
by: Zeng, Weifei
Published: (2016)

Representation theory of the global Cherednik algebra
by: Thompson, Daniel (Daniel Craig)
Published: (2017)

Constructive global analysis of hybrid systems
by: Gonçalves, Jorge Manuel Mendes Silva, 1970-
Published: (2005)

Applying video magnification techniques to the visualization of blood flow
by: Zhao, Amy (Xiaoyu Amy)
Published: (2015)

Design of the control logic for StarT-Voyager
by: Rosenband, Daniel L., 1977-
Published: (2009)

Logical reasoning for approximate and unreliable computation
by: Carbin, Michael (Michael James)
Published: (2015)

Learning to map sentences to logical form
by: Zettlemoyer, Luke S. (Luke Sean), 1978-
Published: (2010)