Search Results - "Brzozowski, J A"
-
1
Delay-insensitivity and ternary simulation
Published in Theoretical computer science (17-08-2000)“…Consider a network N constructed from a set of modules interconnected by wires. Suppose that there is a formal specification Σ for N, and that the behavior of…”
Get full text
Journal Article Conference Proceeding -
2
de Morgan bisemilattices
Published in Proceedings / International Symposium on Multiple-Valued Logic (2000)“…We study de Morgan bisemilattices, which are algebras of the form (S, /spl cup/, /spl and/, /sup -/, 1, 0), where (S, /spl cup/, /spl and/) is a bisemilattice,…”
Get full text
Conference Proceeding Journal Article -
3
True concurrency in models of asynchronous circuit behavior
Published in Formal methods in system design (01-05-2003)“…In the study of asynchronous designs most authors use the interleaving model of concurrency when describing the behavior of a network; this is usually done for…”
Get full text
Journal Article -
4
Automata of asynchronous behaviors
Published in Theoretical computer science (17-01-2000)Get full text
Conference Proceeding Journal Article -
5
A characterization of signed hypergraphs and its applications to VLSI via minimization and logic synthesis
Published in Discrete Applied Mathematics (01-01-1999)“…A recently introduced graph-theoretic notion of signed hypergraph is studied. In particular, a structural characterization of balanced signed hypergraphs is…”
Get full text
Journal Article -
6
Algebras for hazard detection
Published in Proceedings / International Symposium on Multiple-Valued Logic (2001)“…Hazards pulses are undesirable short pulses caused by stray delays in digital circuits. Such pulses not only may cause errors in the circuit operation, but…”
Get full text
Conference Proceeding Journal Article -
7
On the delay-sensitivity of gate networks
Published in IEEE transactions on computers (01-11-1992)“…In classical switching theory, asynchronous sequential circuits are operated in the fundamental mode. In this mode, a circuit is started in a stable state, and…”
Get full text
Journal Article -
8
On serializability
Published in International Journal of Computer & Information Sciences (01-12-1985)“…Concurrent execution of database transactions is desirable from the perspective of speed, but it may introduce inconsistencies. An often used criterion of…”
Get full text
Journal Article -
9
Detection of coupling faults in RAMs
Published in Journal of electronic testing (01-05-1990)“…This article presents results fundamental to the problem of detecting coupling faults in random access memories (RAMs). Good and faulty memories are…”
Get full text
Journal Article -
10
An algebra of multiple faults in RAMs
Published in Journal of electronic testing (01-04-1996)Get full text
Journal Article -
11
About Feedback and SR Flip-Flops
Published in IEEE transactions on computers (01-04-1971)“…Minimum feedback realizations of synchronous sequential machines using set-reset flip-flops are discussed. The known results are pointed out in order to…”
Get full text
Journal Article -
12
An efficient algorithm for constrained encoding and its applications
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-12-1993)“…An efficient algorithm and its implementation, ENCORE, are presented for finding approximate solutions to dichotomy-based constrained encoding, a problem…”
Get full text
Journal Article -
13
Verification of CAM tests for input stuck-at faults
Published in Proceedings. International Workshop on Memory Technology, Design and Testing (Cat. No.98TB100236) (1998)“…A comparison of three tests applied to an n-word by 1-bit static CMOS content-addressable memory (CAM) array is performed with respect to the cell input…”
Get full text
Conference Proceeding -
14
A Characterization of Ternary Simulation of Gate Networks
Published in IEEE transactions on computers (01-11-1987)“…Ternary simulation techniques provide efficient methods for the analysis of the behavior of VLSI circuits. However, the results of ternary simulation have not…”
Get full text
Journal Article -
15
Efficient constrained encoding for VLSI sequential logic synthesis
Published in Euro-DAC '92, European Design Automation Conference : Euro-VHDL '92, Congress Centrum Hamburg, Hamburg, Germany, September 7-10, 1992 (1992)“…A fast heuristic algorithm, called ENCORE, is proposed for the dichotomy-based constrained encoding problem. Its implementation has been tested on MCNC…”
Get full text
Conference Proceeding Journal Article -
16
Regular Expressions for Linear Sequential Circuits
Published in IEEE transactions on electronic computers (01-04-1965)“…This paper considers the class of linear sequential circuits from the regular expression point of view. The circuits studied do not have special starting units…”
Get full text
Journal Article -
17
Regular Expressions from Sequential Circuits
Published in IEEE transactions on electronic computers (01-12-1964)“…In this paper the relation between a sequential circuit and its regular expression is investigated. The circuits are without special starting units. One method…”
Get full text
Journal Article -
18
Some Problems in Relay Circuit Design
Published in IEEE transactions on electronic computers (01-08-1965)“…In the design of sequential relay circuits one often has to consider the circuit as a part of a larger system, and one must take into account the nature of the…”
Get full text
Journal Article -
19
Representation of a class of nondeterministic semiautomata by canonical words
Published in Theoretical computer science (05-05-2006)“…It has been shown recently that deterministic semiautomata can be represented by canonical words and equivalences; that work was motivated by the…”
Get full text
Journal Article -
20
About Signal Flow Graph Techniques for Sequential Circuits
Published in IEEE transactions on electronic computers (01-04-1964)Get full text
Journal Article