No abstract

Timing diagrams with data and timing annotations are introduced as a language for specifying interface circuits. In this paper we describe how to generate VHDL from timing diagrams in order to get a hardware implementation or simply to get VHDL code for stimuli to be used in a test bench. By giving timing diagrams a formal semantics in terms of T-LO'I'OS, we can apply optimizing correctness-preserving transformation steps. In order to produce good VHlDL code on the way to a hardware implementation it is of great importance to introduce structures into the final description that are not automatically derivable from a given Specification. The designer is rather asked to assist in introducing a structure by applying a Ibottomup interactive synthesis procedure.

No abstract

Als der Konstruktivismus Mitte der 1990er Jahre zu einem alternativen metatheoretischen Fixpunkt neben dem Paradigma rationalen Handelns (rational choice) avancierte, wurde die Theorienlandschaft der Internationalen Beziehungen (IB) schlagartig unübersichtlicher. Zu der Diskussion über die relative Erklärungskraft verschiedener Theorievarianten innerhalb des rationalistischen Forschungsprogramms (Baldwin 1993), gesellte sich bald eine Paradigmen übergreifende Konversation zwischen rational choice-Vertretern und Konstruktivisten (Fearon/Wendt 2003; Katzenstein et al. 1998). In dieser Konversation haben Autoren aus beiden Lagern versucht, die neue 1. 1 Dilthey hat dieses Motto in seiner Auseinandersetzung mit dem wissenschaftstheoretischen Empirismus geprägt (vgl. dazu das Vorwort des Herausgebers in Diltheys (1924: LXXVI) Gesammelte Schriften). 2 Für hilfreiche Kommentare zu früheren Versionen dieses Artikels danke ich der ZIB-Redaktion und ihren Gutachterinnen und Gutachtern.

No abstract