Search results for "minterm"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Prathima Agrawal, Vishwani D. Agrawal, Nripendra N. Biswas	Multiple output minimization.	DAC	1985	DBLP DOI BibTeX RDF
50	Amparo Fúster-Sabater	Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences.	ICTCS	2003	DBLP DOI BibTeX RDF	run distribution, minterm, cryptography, stream cipher, Balancedness
40	Meng Yang 0013, Lingli Wang, A. E. A. Almaini	Fast Conversion for Large Canonical OR-Coincidence Functions.	APCCAS	2006	DBLP DOI BibTeX RDF
32	Suvadip Hazra, Mamata Dalui	Characterization of Single Length Cycle Two-Attractor Cellular Automata Using Next-State Rule Minterm Transition Diagram.	Complex Syst.	2022	DBLP DOI BibTeX RDF
32	Juan A. Aledo, Ali Barzanouni, Ghazaleh Malekbala, Leila Sharifan, José C. Valverde	Fixed points in generalized parallel and sequential dynamical systems induced by a minterm or maxterm Boolean functions.	J. Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
32	Shiling Luo, Wenchao Gao, Le Huang, Qiang Zhou 0001	A circuit protection method based on minterm perturbation.	CIS	2022	DBLP DOI BibTeX RDF
32	Juan A. Aledo, Luis G. Diaz, Silvia Martínez Sanahuja, José C. Valverde	Predecessors and Garden-of-Eden configurations in parallel dynamical systems on maxterm and minterm Boolean functions.	J. Comput. Appl. Math.	2019	DBLP DOI BibTeX RDF
32	Shan Jiang, Ning Xu 0006, Xueyan Wang, Qiang Zhou 0001	An Efficient Technique to Reverse Engineer Minterm Protection Based Camouflaged Circuit.	J. Comput. Sci. Technol.	2018	DBLP DOI BibTeX RDF
32	Xuesong Peng, Weikang Qian	A Branch-and-Bound-Based Minterm Assignment Algorithm for Synthesizing Stochastic Circuit.	Advanced Logic Synthesis	2018	DBLP DOI BibTeX RDF
32	Masahiro Fujita	An approach to approximate computing: Logic transformations for one-minterm changes in specification.	HLDVT	2017	DBLP DOI BibTeX RDF
32	Muhammad Yasin, Bodhisatwa Mazumdar, Ozgur Sinanoglu, Jeyavijayan Rajendran	CamoPerturb: secure IC camouflaging for minterm protection.	ICCAD	2016	DBLP DOI BibTeX RDF
32	Hideyuki Ichihara, Tomoya Inaoka, Tsuyoshi Iwagaki, Tomoo Inoue	Logic simplification by minterm complement for error tolerant application.	ICCD	2015	DBLP DOI BibTeX RDF
32	Juan A. Aledo, Silvia Martínez Sanahuja, Fernando López Pelayo, José C. Valverde	Parallel discrete dynamical systems on maxterm and minterm Boolean functions.	Math. Comput. Model.	2012	DBLP DOI BibTeX RDF
32	Kazuyuki Amano	Minterm-transitive functions with asymptotically smallest block sensitivity.	Inf. Process. Lett.	2011	DBLP DOI BibTeX RDF
32	Andrew Drucker	Block sensitivity of minterm-transitive functions.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
32	Andrew Drucker	Block Sensitivity of Minterm-Transitive Functions	CoRR	2010	DBLP BibTeX RDF
32	Pramode Ranjan Bhattacharjee	Quick detection of faults in combinational networks designed in minterm format by computing a single novel parameter.	Int. J. Comput. Math.	2009	DBLP DOI BibTeX RDF
29	Suman Purwar	An Efficient Method of Computing Generalized Reed-Muller Expansions from Binary Decision Diagram.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	generalized Reed-Muller expansions, minterm values, Boolean function, Boolean functions, variables, binary decision diagram, minimisation of switching nets
29	Robert Brian Cutler, Saburo Muroga	Derivation of Minimal Sums for Completely Specified Functions.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	Tison Method, Abridged minterm base, inclusion function, minimum sum, Petrick function, presence function, Quine- McCluskey method, programmable logic array, switching theory, branch-and-bound method
29	Sureshchander	Minimization of Switching Functions - A Fast Technique.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	DON'T CARE term, minimal sum, minterm, product-i, product-0, Consensus, prime implicant, subcube, literal
20	Edward Flanigan, Arkan Abdulrahman, Spyros Tragoudas	Sequential Path Delay Fault Identification Using Encoded Delay Propagation Signatures.	ISQED	2008	DBLP DOI BibTeX RDF
20	Jason Cong, Kirill Minkovich	Improved SAT-based Boolean matching using implicants for LUT-based FPGAs.	FPGA	2007	DBLP DOI BibTeX RDF	logic synthesis, SAT, implicant, boolean matching, FPGA lookup table
20	Mohammad Samie, Gabriel Dragffy, Janice Kiely	Novel Embryonic Array with Neural Network Characteristics.	AHS	2007	DBLP DOI BibTeX RDF
20	Sourav Chakraborty 0001	On the Sensitivity of Cyclically-Invariant Boolean Functions.	CCC	2005	DBLP DOI BibTeX RDF
20	Hafiz Md. Hasan Babu, Moinul Islam Zaber, Md. Rafiqul Islam 0001, Md. Mazder Rahman	On the Minimization of Multiple-Valued Input Binary-Valued Output Functions.	ISMVL	2004	DBLP DOI BibTeX RDF	Multiple-Valued Input Two-Valued Output Functions, Sum-of-Products (SOPs), Logic Minimization, Prime Implicant
20	Ilan Newman	Computing in Fault Tolerance Broadcast Networks.	CCC	2004	DBLP DOI BibTeX RDF
20	Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah	Satometer: how much have we searched?	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
20	Mehdi Baradaran Tahoori	Application-dependent testing of FPGAs for bridging faults.	FPGA	2003	DBLP DOI BibTeX RDF
20	Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah	Satometer: how much have we searched?	DAC	2002	DBLP DOI BibTeX RDF	conflict diagnosis, search progress, search space coverage, SAT, BDDs, CNF, backtrack search, ZBDDs
20	Alfredo Cruz	PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vectors for Missing Faults in VLSI Circuits.	ISMIS	2000	DBLP DOI BibTeX RDF
20	Bogdan J. Falkowski, Lip-San Lim	Gray Scale Image Compression Based on Multiple-Valued Input Binary Functions, Walsh and Reed-Muller Spectra.	ISMVL	2000	DBLP DOI BibTeX RDF	logic coding, multiple-valued input binary functions, Lossless compression, Gray scale images, Walsh transform, Reed-Muller transform
20	Michael Codish, Harald Søndergaard	The Boolean Logic of Set Sharing Analysis.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
20	Prasoon Surti, Liang-Fang Chao, Akhilesh Tyagi	Low power FSM design using Huffman-style encoding.	ED&TC	1997	DBLP DOI BibTeX RDF
20	Noriyuki Takahashi, Nagisa Ishiura, Shuzo Yajima	Fault simulation for multiple faults by Boolean function manipulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
20	Nripendra N. Biswas	On covering distant minterms by the camp algorithm.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF