1991
128 references published this year.
A formally verified system for logic synthesis
M. Aagaard and others (1991) · IEEE Comput. Soc. Press
The existence of refinement mappings
Martı́n Abadi and others (1991) · Theoretical Computer Science · Elsevier BV
Generic Computation and its complexity
Serge Abiteboul and others (1991) · ACM Symposium on Theory of Computing (STOC)
Comparison of hardware and software cache coherence schemes
Sarita V. Adve and others (1991) · Proceedings - International Symposium on Computer Architecture/Proceedings
Reflections of the Environment in Memory
John R. Anderson and others (1991) · Psychological Science · SAGE Publishing
Operational Semantics of Hardware Design Languages
H. Barringer and others (1991) · University of Manchester, Department of Computer Science
Operational semantics for hardware design languages
Howard Barringer and others (1991) · Advanced Research Workshop on Correct Hardware Design Methodologies
Semantics and Verification for Boolean Kernel ELLA using IO Automata
H. Barringer and others (1991) · CHARME Workshop, Turin
Extracting circuits from constructive proofs
D. Basin (1991) · ACM/SIGDA Workshop on Formal Methods in VLSI Design, Miami
Formally verified synthesis of combinational CMOS circuits
David A. Basin and others (1991) · Integration, the VLSI Journal · Elsevier BV
An overview of HP-SL
Stephen Bear (1991) · Lecture notes in computer science · Springer Science+Business Media
Sensitivity of the multiple-scattering speckle pattern to the motion of a single scatterer
Richard Berkovits (1991) · Physical review. B, Condensed matter · American Physical Society
IV Higher Order Workshop, Banff 1990
Unattributed (1991) · Springer London
Formal methods in the production and assessment of safety critical software
R. E. Bloomfield and others (1991) · Elsevier BV
Reasoning about Dynamically Evolving Process Structures; a proof theory for the parallel object-oriented language pool
Frank S. de Boer (1991) · Vrije Universiteit Amsterdam
Applications of a BDD-package to the verification of HDL descriptions
Dominique Borrione and others (1991) · Advanced Research Workshop on Correct Hardware Design Methodologies
PREVAIL: A proof environment for VHDL descriptions
Dominique Borrione and others (1991) · Advanced Research Workshop on Correct Hardware Design Methodologies
Combinatorial Matrix Theory
Richard A. Brualdi and others (1991) · Cambridge University Press
An integrated environment for the design and simulation of self timed systems
E. K. Brunvand and others (1991) · VLSI 91, page 4a.2, August 1991.
Translating Concurrent Communicating Programs into Asynchronous Circuits
Erik Brunvand (1991)
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
Randal E. Bryant and others (1991) · Computer-Aided Verification '90 · American Mathematical Society
On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication
Randal E. Bryant (1991) · IEEE Transactions on Computers
Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis
Randal E. Bryant (1991) · International Conference on Computer-Aided Design (ICCAD '91)
Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation
Randal E. Bryant and others (1991) · Proceedings of the 28th ACM/IEEE Design Automation Conference (DAC '91)
Formal Verification of Memory Circuits by Switch-Level Simulation
Randal E. Bryant (1991) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A methodology for hardware verification based on logic simulation
Randal E. Bryant (1991) · Journal of the ACM · Association for Computing Machinery
Experiments with proof plans for induction
Alan Bundy and others (1991) · Journal of Automated Reasoning · Springer Science+Business Media
Hardware specification using the assertion language ASTRAL
Giacomo Buonanno and others (1991) · Advanced Research Workshop on Correct Hardware Design Methodologies
Representing circuits more efficiently in symbolic model checking
Jerry R. Burch and others (1991)
Symbolic model checking with partitioned transition relations
J. R. Burch and others (1991) · Proceedings of the IFIP International Conference on Very Large Scale Integration (VLSI 91), Edinburgh
Symbolic model checking with partitioned transition relations
J. R. Burch and others (1991) · Technical Report CMU-CS-9 1-195
Performance analysis and optimization of asynchronous circuits
Steven M. Burns and others (1991) · Advanced Research in VLSI 1991: Proceedings of the University of California, Santa Cruz, Conference
Hardware Design By Proven Transformations
Holger Busch (1991)
Proof-based transformation of formal hardware models
H. Busch (1991) · Springer London
Use of the OTTER theorem prover for the formal verification of hardware
Paolo Camurati and others (1991) · Springer London
LimitLESS directories: A scalable cache coherence scheme
D. Chaiken and others (1991) · Association for Computing Machinery (ACM)
Summary of higher-order metafunctions for synthesizing signed-binary arithmetic hardware
Shiu-Kai Chin (1991) · 1991 International Workshop on Formal Verification in VLSI Design
VHDL Semantics for Behavioral Test Generation
Chang H Cho and others (1991) · Elsevier
A Study of Logics
J. P. Cleave (1991) · Clarendon Press
Verifying temporal properties of sequential machines without building their state diagrams
O. Coudert and others (1991) · American Mathematical Society
Fudenberg and J
D, (1991)
Geometric Bounds for Eigenvalues of Markov Chains
Persi W. Diaconis and others (1991) · The Annals of Applied Probability · Institute of Mathematical Statistics
A formal approach to designing delay-insensitive circuits
Jo Ebergen (1991) · Distributed Computing · Springer Science+Business Media
The modulo-N counter: Design and analysis of delay-insensitive circuits
Jo C. Ebergen and others (1991) · Technical Report CS-91-25
Verification of Synchronous Concurrent Algorithms Using OBJ3: A Case Study of the Pixel-Planes Architecture
S. M. Eker and others (1991) · Springer London
Register-transfer level verification in SMAX
Hans Eveking and others (1991) · CHARME Project Report THD-2.B.2.b-01
Eigenvalue Bounds on Convergence to Stationarity for Nonreversible Markov Chains, with an Application to the Exclusion Process
James Allen Fill (1991) · The Annals of Applied Probability · Institute of Mathematical Statistics
VHDL verification in the state delta verification system (SDVS)
Ivan V Fillippenko (1991) · 1991 International Workshop on Formal Verification in VLSI Design, January 1991.
Interactive synthesis in higher order logic
S. Finn and others (1991) · Proceedings of the International Workshop on the HOL Theorem Proving System and its Applications, Davis · IEEE
Foundations of discrete mathematics
P. Fletcher and others (1991) · 1991.
Formal Synthesis
Michael P. Fourman and others (1991) · IV Higher Order Workshop, Banff 1990 · Springer
Metastability of CMOS master/slave flip-flops
T. Gabara and others (1991) · IEEE Custom Integrated Circuits Conference (CICC)
Subitizing: The preverbal counting process
C. R. Gallistel and others (1991) · Erlbaum Hillsdale, NJ
Mirror Worlds: Or the Day Software Puts the Universe in a Shoebox... How It Will Happen and What It Will Mean
David Gelernter (1991) · Oxford University Press
A partial approach to model checking
Patrice Godefroid and others (1991) · Proceedings - Symposium on Logic in Computer Science · Institute of Electrical and Electronics Engineers
Using partial orders to improve automatic verification methods
P. Godefroid (1991) · American Mathematical Society
Embedding a CHDDL in a proof system
K G W Goossens (1991) · Advanced Research Workshop on Correct Hardware Design Methodologies
Compositional minimization of finite state systems
S. Graf and others (1991) · Computer-Aided Verification ’90 · American Mathematical Society
Optimum synchronisation preamble design
M. Grayson and others (1991) · Institution of Engineering and Technology (IET)
Model checking and modular verification
Orna Grümberg and others (1991) · Lecture notes in computer science · Springer Science+Business Media
The synchronous data flow programming language LUSTRE
N. Halbwachs and others (1991) · Institute of Electrical and Electronics Engineers (IEEE)
Model Checking vs. Theorem Proving: A Manifesto
Joseph Y Halpern and others (1991) · Elsevier
A Cyborg Manifesto: Science, Technology, and Socialist-Feminism in the Late Twentieth Century
Donna Haraway (1991) · Simians, Cyborgs and Women: The Reinvention of Nature · Routledge
Ballistic electron transport in semiconductor heterostructures and its analogies in electromagnetic propagation in general dielectrics
G.N. Henderson and others (1991) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Using Middle-Out Reasoning to Guide Inductive Theorem Proving
J. T. Hesketh (1991)
Bidirectionality, Connectivity and Instantiations in ELLA
M. G. Hill and others (1991) · Royal Signals and Radar Establishment, Malvern
Preliminary Core ELLA Definition
M. G. Hill and others (1991) · Formal Verification Support for ELLA, IED project 4-1-1357
Design and Validation of Computer Protocols
G. Holzmann (1991) · Prentice-Hall
CICS project report experiences and results from the use of Z in IBM
Iain Houston and others (1991) · Springer Berlin Heidelberg
Optical Coherence Tomography
David Huang and others (1991) · American Association for the Advancement of Science (AAAS)
The Art of Computer Systems Performance of Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling
Raj Jain (1991) · John Wiley & Sons, Inc.
DDD: a system for mechanized digital design derivation
S. D. Johnson and others (1991) · ACM/SIGDA Workshop on Formal Methods in VLSI Design, Miami
Deriving bit-serial circuits in Ruby
G. Jones and others (1991) · Proceedings of VLSI 91, Edinburgh
Relations and refinement in circuit design
G. Jones and others (1991) · 3rd Refinement Workshop · Springer
Silicon-Silicon Dioxide Surface Device
Dawon Kahng (1991) · Semiconductor Devices: Pioneering Papers · World Scientific
Models of Peano Arithmetic
Richard Kaye (1991) · Oxford University Press
THE LINK BETWEEN OFFENDING AND VICTIMIZATION AMONG ADOLESCENTS*
J. Lauritsen and others (1991) · Wiley
Algorithms for synthesis of hazard-free asynchronous circuits
Luciano Lavagno and others (1991) · ACM/IEEE Design Automation Conference (DAC) · Association for Computing Machinery
Synthesis of verifiably hazard-free asynchronous control circuits
Luciano Lavagno and others (1991) · Advanced Research in VLSI 1991: Proceedings of the University of California, Santa Cruz, Conference
The BEDROC high level synthesis system
M. Leeser and others (1991) · IEEE
MPEG: a video compression standard for multimedia applications
Didier Le Gall (1991) · Communications of the ACM · Association for Computing Machinery
Fairisle: an ATM network for the local area
I. M. Leslie and others (1991) · ACM SIGCOMM Computer Communication Review
An overview of the state delta verification system (SDVS)
Beth H Levy (1991) · 1991 International Workshop on Formal Verification in VLSI Design
Automatic synthesis of asynchronous circuits
Kuan-Jen Lin and others (1991) · ACM/IEEE Design Automation Conference (DAC) · Association for Computing Machinery
Efficient symbolic manipulation of equivalence relations and classes
B. Lin and others (1991) · IMEC-IFIP International Workshop on Formal Methods in VLSI Design, Miami
EXTENDING THE PROOF PLAN METHODOLOGY TO COMPUTER CONFIGURATION PROBLEMS
Helen Lowe (1991) · Applied Artificial Intelligence · Taylor & Francis
Optimising designs by transposition
Wayne Luk (1991) · Springer London
A higher-order calculus and theory abstraction
Z. Luo (1991) · Elsevier BV
Synthesis of asynchronous VLSI circuits
Alain J. Martin (1991) · Course Notes, VLSI 91, Edinburgh, August
Predicting User Intentions: Comparing the Technology Acceptance Model with the Theory of Planned Behavior
Kieran Mathieson (1991) · Information Systems Research · Institute for Operations Research and the Management Sciences
Dialog Tutorial
Eleanor Mayger (1991) · Abstract Hardware Ltd
Integration of formal methods with system design
E. M. Mayger and others (1991) · Proceedings of VLSI 91, Edinburgh
User Guide for the Lambda System 4.1
E. Mayger and others (1991) · Abstract Hardware Ltd
Formal verification of the Encore Gigamax cache consistency protocol
K. L. McMillan and others (1991) · International Symposium on Shared Memory Multiprocessors
A Package For Inductive Relation Definitions In HOL
T F Melham (1991) · IEEE
Constrained Proofs: A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Michael Mendler (1991) · Springer London
A first-order logic of designs
M. Mendler (1991)
Design by Contract
Bertrand Meyer (1991) · Advances in Object-Oriented Software Engineering · Prentice-Hall
Notions of computation and monads
Eugenio Moggi (1991) · Information and Computation · Elsevier
A note on the semantics of ambiguity
B. Q. Monahan (1991) · University of Manchester, Department of Computer Science (project working paper)
A Formal Definition of the Static Semantics of ELLA's Core
J.D. Morison and others (1991) · Royal Signals and Radar Establishment
An experimental 1.5-V 64-Mb DRAM
Y. Nakagome and others (1991) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
From a HDL Description to Formal Proof Systems: Principles and Mechanization **Work supported by the EEC under CHARME ESPRIT 3216 BRA
Laurence Pierre (1991) · Elsevier BV
One aspect of mechanizing formal proof of hardware: The generalization of partial specifications
Laurence Pierre (1991) · 1991 International Workshop on Formal Verification in VLSI Design
Using partial-order semantics to avoid the state explosion problem in asynchronous systems
D. K. Probst and others (1991) · American Mathematical Society
Integrating hardware verification with design automation
Suresh Rajgopal and others (1991) · 1991 International Workshop on Formal Verification in VLSI Design
Topology and Category Theory in Computer Science
G. M. Reed (1991)
Proving (facts about) Ruby
Lars Rossen (1991) · Springer London
Ruby algebra
L. Rossen (1991) · Springer London
The semantic foundations of concurrent constraint programming
Vijay A. Saraswat and others (1991) · ACM Press
Max-Balancing Weighted Directed Graphs and Matrix Scaling
Hans Schneider and others (1991) · Mathematics of Operations Research · Institute for Operations Research and the Management Sciences
Foundations without foundationalism: A case for second-order logic
Stewart Shapiro (1991) · Clarendon Press
TCP Packet Trace Analysis
Timothy Jason Shepard (1991) · MIT Laboratory for Computer Science
Architecture of fault-tolerant computers: an historical perspective
D. P. Siewiorek (1991) · Institute of Electrical and Electronics Engineers (IEEE)
A Prolog-Based System for Hardware Verification
Kevin L. Sparks (1991)
FUNNEL: A CHDL with formal semantics
V Stavridou and others (1991) · Advanced Research Workshop on Correct Hardware Design Methodologies
Testing language containment for omega-automata using BDDs
H. J. Touati and others (1991) · IMEC-IFIP International Workshop on Formal Methods in VLSI Design, Miami
Stubborn sets for reduced state space generation
Antti Valmari (1991) · Advances in Petri Nets 1990 · Springer Berlin Heidelberg
DARPA Technical Accomplishments. Volume II. An Historical Review of Selected DARPA Projects
Richard H. Van Atta and others (1991) · Institute for Defense Analyses
Beware the isochronic fork
C. H. van Berkel (1991) · Nat. Lab. Unclassified Report UR 003/91
The VLSI-programming language Tangram and its translation into handshake circuits
Kees van Berkel and others (1991) · IEEE Comput. Soc. Press
The JPEG still picture compression standard
G. K. Wallace (1991) · Association for Computing Machinery (ACM)
Hardware synthesis logic and its independence
Li-Guo Wang (1991) · Manuscript. Laboratory for Foundations of Computer Science, Computer Science Department, University of Edinburgh, November
Transition of Nic Services
S. Williamson and others (1991) · RFC Editor
Towards a formal model of VLSI systems compatible with VHDL
Philip A Wilsey and others (1991) · VLSI '91
Abstract hardware
Phillip J Windley (1991) · 1991 International Workshop on Formal Verification in VLSI Design
Identifying syntactic differences between two programs
Wuu Yang (1991) · Software Practice and Experience · Wiley
Acceleration of timing verification method based on time petri nets
Tomohiro Yoneda and others (1991) · Systems and Computers in Japan · Wiley