Filters








4,367 Hits in 9.0 sec

BLASYS

Soheil Hashemi, Hokchhay Tann, Sherief Reda
2018 Proceedings of the 55th Annual Design Automation Conference on - DAC '18  
In this work, we present a novel paradigm to synthesize approximate circuits using Boolean matrix factorization (BMF).  ...  In our methodology the truth table of a sub-circuit of the design is approximated using BMF to a controllable approximation degree, and the results of the factorization are used to synthesize a less complex  ...  CONCLUSIONS In this paper we proposed a new direction for approximate logic synthesis using boolean matrix factorization.  ... 
doi:10.1145/3195970.3196001 dblp:conf/dac/HashemiTR18 fatcat:fbrbxusnijbuzgfpemp3gic66i

RUCA: RUntime Configurable Approximate Circuits with Self-Correcting Capability [article]

Jingxiao Ma, Sherief Reda
2022 arXiv   pre-print
By factorizing and decomposing the truth table, our approach aims to approximate and separate the input circuit into multiple configuration blocks which support different accuracy levels, including a corrector  ...  By activating different blocks, the approximate circuit is able to operate at different accuracy-power configurations.  ...  We also discuss the general methodology of approximate logic synthesis using BMF. A Boolean matrix is a special matrix where all elements are limited to Boolean values, i.e., '0's or '1's.  ... 
arXiv:2207.00459v1 fatcat:vz7dkbjqefavhoctq2xgkhkfua

Approximate Logic Synthesis: A Reinforcement Learning-Based Technology Mapping Approach [article]

Ghasem Pasandi and Shahin Nazarian and Massoud Pedram
2019 arXiv   pre-print
Approximate Logic Synthesis (ALS) is the process of synthesizing and mapping a given Boolean network to a library of logic cells so that the magnitude/rate of error between outputs of the approximate and  ...  Maximum Hamming Distance (MHD) between exact and approximate truth tables of cuts of each node is used as the error metric.  ...  This process of synthesis is called Approximate Logic Synthesis (ALS).  ... 
arXiv:1902.00478v1 fatcat:oa323icxcvft5kpnalzzahwqzu

Modeling of the hypothalamic-pituitary-adrenal axis-mediated interaction between the serotonin regulation pathway and the stress response using a Boolean approximation: a novel study of depression

Oscar Moreno-Ramos, Maria Lattig, Andrés González Barrios
2013 Theoretical Biology and Medical Modelling  
To analyze the interaction between the pathways, we propose the use of a synchronous Boolean network (SBN) approximation.  ...  Major depressive disorder (MDD) is a multifactorial disorder known to be influenced by both genetic and environmental factors.  ...  AND/NOT operators are included to show the Boolean logic used.  ... 
doi:10.1186/1742-4682-10-59 pmid:24093582 pmcid:PMC3856587 fatcat:azcyfwtthvgijozz3e7drhwboy

Multilevel logic synthesis

R.K. Brayton, G.D. Hachtel, A.L. Sangiovanni-Vincentelli
1990 Proceedings of the IEEE  
The logic synthesis area is usually divided into two-level synthesis (PLA) and multilevel synthesis. Two-level logic minimization has been used to synthesize PLA's for control logic.  ...  Common cubes can be identified easily using the cubeliteral matrix. First, the cube-literal matrix for the Boolean network is created.  ... 
doi:10.1109/5.52213 fatcat:3xnrf4rfkze2pdkgmnwqauc6na

Developing an algorithm to minimize boolean functions for the visual-matrix form of the analytical method

Mykhailo Solomko
2021 Eastern-European Journal of Enterprise Technologies  
There is reason to assert the possibility of improving the efficiency of the Boolean function minimization process by the visual-matrix form of the analytical method, through the use of more complex logical  ...  of logical operations in the first binary matrix of the assigned function  ...  Approximate synthesis is a recent trend of logical synthesis when some results of the logical specification change within the permissible error of the assigned application in order to reduce complexity  ... 
doi:10.15587/1729-4061.2021.225325 fatcat:kscjnjb4qnadpdefyxx2rx2ota

Reversible Arithmetic Logic Gate (ALG) for Quantum Computation

M Arun, S Saravanan
2013 International Journal of Intelligent Engineering and Systems  
The results of different synthesis methods of 4x4 ALG using Revkit tool are studied.  ...  At present, Boolean algebra based computations by the use of silicon based semiconductor technology are irreversible in nature. This is due to the mismatch of number of inputs and outputs.  ...  Results & Discussion The proposed ALG gate and existing is synthesised using BDD, TB and ES methods.  ... 
doi:10.22266/ijies2013.9030.01 fatcat:qmloq2fd6jgkzocdk53vc6frqy

Exploiting Symmetrization and D-reducibility for Approximate Logic Synthesis

Anna Bernasconi, Valentina Ciriani, Tiziano Villa
2020 IEEE transactions on computers  
Approximate synthesis is a recent trend in logic synthesis where one changes some outputs of a logic specification, within the error tolerance of a given application, to reduce the complexity of the final  ...  We attack the problem by exploiting the allowed flexibility in order to maximize the regularity of the specified Boolean functions.  ...  A new approximate logic synthesis technique based on Boolean matrix factorization is proposed in [19] .  ... 
doi:10.1109/tc.2020.3043476 fatcat:ltyoo3qex5gkpc5x7stadkm354

Logic synthesis of multilevel circuits with concurrent error detection

N.A. Touba, E.J. McCluskey
1997 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
Once the code has been selected, a new procedure called structure-constrained logic optimization is used to minimize the area of the circuit as much as possible while still using a circuit structure that  ...  The synthesis procedure (implemented in Stanford CRC's TOPS synthesis system) fully automates the design process, and reduces the cost of concurrent error detection compared with previous methods.  ...  Multilevel logic optimization improves circuit area by using operations that restructure and minimize the logic represented by a Boolean network.  ... 
doi:10.1109/43.644041 fatcat:fy7oczajonb27pufiwak4ptl5a

Page 4881 of Mathematical Reviews Vol. 58, Issue 6 [page]

1979 Mathematical Reviews  
J. 58 #33565 Minimum NAND-NOR synthesis of S-factorized sum of products and product of sums. Internat. J. Electron. 43 (1977), no. 3, 209-251.  ...  the loop-resistance matrix ®* or cutset conductance matrix § * of the resistor subnetwork.”  ... 

BDD, BNN, and FPGA on Fuzzy Techniques for Rapid System Analysis

Rahul Dixit, Harpreet Singh
2012 Advances in Fuzzy Systems  
The neural network model can be used for complexity estimation over a set of BDDs derived from Boolean logic expressions.  ...  The data is then converted to Boolean, and using Boolean Decision Diagrams (BDD) techniques, to find similar relations between input vectors and output parameter.  ...  , we still achieve approximately 82% fidelity in the correlation data using Boolean quantization of the data.  ... 
doi:10.1155/2012/290710 fatcat:dqnwyaw6anau3ahalopteexcnm

Forgetting Auxiliary Atoms in Forks (Extended Abstract)

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2020 Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence  
We provide a semantic characterisation of PSE for forks and use it to show that, in this extension, it is always possible to forget auxiliary atoms under strong persistence.  ...  In this paper, we introduce a conservative extension of Equilibrium Logic and its monotonic basis, the logic of Here-and-There, in which we deal with a new connective we call fork.  ...  Further applications include approximate logic synthesis [Hashemi et al., 2018] and discovery of patterns in network data [Kocayusufoglu et al., 2018] .  ... 
doi:10.24963/ijcai.2020/685 dblp:conf/ijcai/Miettinen020 fatcat:ksb2lejf35ggtk3otqjn7xivke

Logic synthesis in a nutshell [chapter]

Jie-Hong (Roland) Jiang, Srinivas Devadas
2009 Electronic Design Automation  
How is logic synthesis done? Read on! This chapter covers classic elements of logic synthesis for combinational circuits.  ...  About This Chapter What is logic synthesis? As the name itself suggests, logic synthesis is the process of automatic production of logic components, in particular digital circuits.  ...  Hence datapath design involves less logic synthesis efforts. In contrast, control logic is typically designed using logic synthesis.  ... 
doi:10.1016/b978-0-12-374364-0.50013-8 fatcat:zuz2226qfjcgzlgni2vtqc4fnu

Optimizing Polynomial Expressions by Algebraic Factorization and Common Subexpression Elimination

A. Hosangadi, F. Fallah, R. Kastner
2006 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
This paper leverages the algebraic techniques originally developed for multilevel logic synthesis to optimize polynomial expressions by factoring and eliminating common subexpressions.  ...  methods originally developed for Boolean expressions in multilevel logic synthesis [13] - [15] .  ...  Algebraic techniques have been successfully applied in multilevel logic synthesis to reduce the number of literals in a set of Boolean expressions [13] - [16] .  ... 
doi:10.1109/tcad.2006.875712 fatcat:ielujycq7valpdeguwbhrfcf3y

An Algorithm for Synthesis of Quantum Reversible Logic Circuits Based on Decomposition

Dan Li, Fanjiang Xu, Junsuo Zhao, Wenjun Zhang
2014 International Journal of Machine Learning and Computing  
Want to reduce the dimensions of the matrix, but also to ensure the unitary of matrix after decomposing, so it is need to use Kronecker product. Index Terms-Decompose, unitary, kronecker product. I.  ...  Until today, we have not found a general and effective algorithm for synthesis, especially to multi-variables quantum circuit.  ...  logic circuits synthesis, but also get a much simpler circuit by using this method than get the quantum circuit synthesize directly.  ... 
doi:10.7763/ijmlc.2014.v4.378 fatcat:uflccsajoze37h6t22w4axic7i
« Previous Showing results 1 — 15 out of 4,367 results