Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Shlomo Rinon

dblp:05/2955 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 1964
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 88% Integrated circuit design · 12%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation
hardware verification and test
0.011964
Application of Ternary Algebra to the Study of Static Hazards · J. ACM 1964
Electronic design automation › hardware verification and test
hazard detection
0.011964
Application of Ternary Algebra to the Study of Static Hazards · J. ACM 1964
Electronic design automation › logic synthesis
combinational logic synthesis
0.011964
Application of Ternary Algebra to the Study of Static Hazards · J. ACM 1964
Integrated circuit design
digital circuit design
0.011964
Application of Ternary Algebra to the Study of Static Hazards · J. ACM 1964

Methods — techniques the papers use, named apart from their topics

ternary switching algebra · 0.0lattice matrix theory · 0.0
YearPublicationVenuePosition
1964 Application of Ternary Algebra to the Study of Static Hazards
abstract
This paper is concerned with the study of static hazards in combinational switching circuits by means of a suitable ternary switching algebra. Techniques for hazard detection and elimination are developed which are analogous to the Huffman-McCluskey procedures. However, gate and series-parallel contact networks are treated by algebraic methods exclusively, whereas a topological approach is applied to non-series-parallel contact networks only. Moreover, the paper derives necessary and sufficient conditions for a ternary function to adequately describe the steady-state and static hazard behavior of a combinational network. The sufficiency of these conditions is proved constructively leading to a method for the synthesis of combinational networks containing static hazards as specified. The section on non-series-parallel contact networks also includes a brief discussion of the applicability of lattice matrix theory to hazard detection. Finally, hazard prevention in contact networks by suitable contact sequencing techniques is discussed and a ternary map method for the synthesis of such networks is explained.
Michael Yoeli, Shlomo Rinon
J. ACM2