Hardware Modeling Using Function Encapsulation
نویسندگان
چکیده
The International Conference on Formal Methods in Computer-Aided Design 2000 is a biennial forum on state·of·the·art tools, methods, and technologies for the application of formalized reasoning to the design of microelectronic systems. The conference covers all relevant formal aspects of work in computer·aided system design including specification, verification, synthesis and testing. A principal goal of the conference is to provide opportunities for interactions among academic and industrial researchers, developers, and practitioners using formal methods for system design.
منابع مشابه
A Comparison of Alternative Extensions for Data Modeling in VHDL
A number of proposals for object-oriented extensions to VHDL deal with object-oriented extensions to support high-level modeling of data. They provide features for expressing data abstraction, encapsulation, and inheritance with polymorphism— features that are central to object oriented techniques. There are two approaches to object-oriented data modeling: class-based and programming by extensi...
متن کاملAssociative Modeling and Programming
The notion of associations is motivated and presented. This kind of association is seen as first class a concept in notations at both modeling and programming level. Among others the association support evolution of systems by adding descriptions and instantiations of associations to executing systems. 1 Motivation We briefly motivate our introduction of the notion of association by the problem...
متن کاملModel Programs for Preserving Composite Invariants
We describe a solution for the SAVCBS challenge problem: a technique for specifying and verifying invariants for objects designed using the Composite design pattern. The solution presents a greybox specification technique using JML’s model program feature. We show that model program specifications function as exemplars for capturing helper method calls in a way that preserves modularity and enc...
متن کاملThe regional estimates of the GPS satellite and receiver differential code biases
The Differential Code Biases (DCB), which are also termed hardware delay biases, are the frequency-dependent time delays of the satellite and receiver. Possible sources of these delays are antennas and cables, as well as different filters used in receivers and satellites. These instrumental delays affect both code and carrier measurements. These biases for satellites and some IGS stations tend ...
متن کاملOn Feasibility of Adaptive Level Hardware Evolution for Emergent Fault Tolerant Communication
A permanent physical fault in communication lines usually leads to a failure. The feasibility of evolution of a self organized communication is studied in this paper to defeat this problem. In this case a communication protocol may emerge between blocks and also can adapt itself to environmental changes like physical faults and defects. In spite of faults, blocks may continue to function since ...
متن کامل