CIRCAL-2 - A general-purpose on-line circuit-design program. User's manual

Users manual describing general purpose, on-line circuit analysis and design computer progra

Computer-aided electronic circuit design. Conduction processes in thin films Status report, 1 Dec. 1965 - 31 May 1966

Computer aided electronic circuit design and conduction processes in thin film

Computer-aided electronic circuit design, part I. Conduction processes in thin films, part II Status report, Jun. 1 - Nov. 30, 1966

Computer-aided electronic circuit design and conduction processes in thin film

Computer-aided electronic circuit design, part 1. Thin film active device investigations, part 2 Status report, 1 Jun. - 30 Nov. 1967

Computerized electronic circuit design, and semiconductor thin film active device

Behavior description and safety in real time models

This paper includes a survey on sorne modern methods that are used for describing and analyzing behavior of complex systems. It is believed that most safety problems arise in the interface between the controlling parts and other controlled subsystems. Therefore, a prerequisite for a good interface is an accurate definition of the system. Two objectives are evaluated: the description power and the analysis power for safety and timing properties. This is done by describing and analyzing a simple system that is composed of two doors, which are restricted by time and "safety" requirements. It is found that although good description methods do exist, their usefulness for analyzing safety timed properties is very limited

Specification and Verification of Synchronous Hardware using LOTOS

This paper investigates specification and verification of synchronous circuits using DILL (Digital Logic in LOTOS). After an overview of the DILL approach, the paper focuses on the characteristics of synchronous circuits. A more constrained model is presented for specifying digital components and verifying them. Two standard benchmark circuits are specified using this new model, and analysed by the CADP toolset (Cæsar/Aldébaran Development Package)

PALAEONTOLOGY OF THE UPPER PLIOCENE MARINE DEPOSITS OF RIO VACCARUZZA, VILLALVERNIA (PIEDMONT, NW ITALY)

Abstract. The topmost Argille Azzurre (beds 1-2) and the basal Sabbie di Asti (beds 3-9) formations in the Villalvernia area are analysed in terms of palaeoecological and taxonomic features; the succession is 6 m thick and dates back to the middle Piacenzian within the Globorotalia bononiensis acme. The upper boundary of the clayey Bed 2 corresponds to an unconformity reflecting Pliocene tectonic activity. The study is focused on the fossil assemblages of beds 3, 4 and 9. The sandy Bed 3 yields 362 mollusc taxa; their assemblage is allochthonous and mixes infra- to circalittoral species accumulated by hyperpycnal mass-transport. The same mechanism is responsible for the origin of the overlying fossil unit (Bed 4) with numerous specimens of the Entobia-Gastrochaenolites ichnofacies. The autochthonous fossil assemblage of Bed 9 yields 308 molluscs, plus three brachiopods and ten fish taxa; most of them refer to the Posidonia meadow (HP), and their autochthony is shown by taphonomic features as skeletal integrity, mixing of successive generations or the limitation to juvenile ontogenetic stages of vagile and temporarily byssate species for which the HP performs a nursery function. Three brachiopods and 52 molluscs are here reported for the first time from the Pliocene of Piedmont. In the final chapter “Systematic Palaeontology” four brachiopods and 29 molluscs are described, among which there are eight new gastropod species: Crepidula bellardii n. sp., Conus dellabellai n. sp., Conus villalvernensis n. sp., Odetta chirlii n. sp., Ondina curta n. sp., Ondina elongata n. sp., Ondina pseudovitrea n. sp., Anisocycla subcylindrica n. sp

Formally-Based Design Evaluation (extended version)

This paper investigates specification, verification and test generation for synchronous and asynchronous circuits. The approach is called DILL (Digital Logic in LOTOS). DILL models are discussed for synchronous and asynchronous circuits. Relations for (strong) conformance are defined for verifying a design specification against a high-level specification. An algorithm is also outlined for generating and applying implementation tests based on a specification. Tools have been developed for automated test generation and verification of conformance between an implementation and its specification. The approach is illustrated with various benchmark circuits as case studies

Modeling and analysis of concurrent systems

A survey of modeling and analysis techniques in common use for modeling and analyzing concurrent systems. The models surveyed are CSP (Communicating Sequential Processes), Path Expressions, CCS (Calculus of Communicating Systems), CIRCAL, Petri Nets, Coloured Petri Nets, Predicate-Action Nets, Numerical Petri Nets, Contour-Transition Nets, and several varieties of Timed Petri Nets. The analysis techniques are state-space analysis, temporal logic, structural analysis, and inductive analysis