Adherent
发表于 2025-3-23 10:43:02
http://reply.papertrans.cn/83/8237/823673/823673_11.png
fleeting
发表于 2025-3-23 17:03:56
A Concept of Defining Semantics of Concurrent Microprogramswithin a framework of the same model, are underlined. The considered semantics is denotational, set-theoretic, and trace-based. It provides a background for developing micropogram oriented logic to reason about properties of systems of concurrent microprograms.
GOUGE
发表于 2025-3-23 18:12:23
http://reply.papertrans.cn/83/8237/823673/823673_13.png
充气女
发表于 2025-3-24 00:19:34
OASE: A Knowledge Based Environment for Analog Circuit Designe an automatic tool as well as a user-friendly design assistant. In its current state it is able to design a variety of . operational amplifier types. The implemented concepts however are applicable to any analog circuit class.
机械
发表于 2025-3-24 04:47:56
Zum automatischen Einfügen von Testpunkten in sequentielle Schaltungenr einem vollständigen Prüfpfad erhebliche Einsparungen möglich sind..Ausblickend werden sowolil weitere Verwendungsmöglichkeiten des Wissens über Kreise und Rekonvergenzen genannt als auch Wege der zukünftigen Entwicklung für das Einfügen von Testpunkten aufgezeigt.
聋子
发表于 2025-3-24 07:58:33
http://reply.papertrans.cn/83/8237/823673/823673_16.png
相互影响
发表于 2025-3-24 10:52:32
Architekturentwurf für nebenläufige, funktionssichere Steuerungenaufgabe mit Hilfe strukturierter Ablaufgraphen. Diese Beschreibungsform eignet sich für den rechnerunterstützten Architekturentwurf und für die formale Analyse der Funktionssicherheit. Die Entwurfsmethode wird anhand eines praxisbezogenen Beispiels erläutert.
thwart
发表于 2025-3-24 15:21:04
ATTACC — an ,utomated ,ool for ,iming ,nalysis and ,ell ,haracterizationeen used in the characterization and documentation of two CMOS cell libraries and has been employed for making design tradeoffs during cell design. It has significantly eased the task of managing the design and maintenance of the IMS cell libraries.
Root494
发表于 2025-3-24 19:52:29
http://reply.papertrans.cn/83/8237/823673/823673_19.png
打包
发表于 2025-3-25 03:01:02
Timing Driven Partitioning of Combinational Logics a fast pattern independent timing analysis with a deviation of less than 15% and two to three orders of magnitude faster than the exact SPICE simulation taking into account all parasitics and signal arrival times. A new partitioning technique for complex gates is presented to improve the timing behaviour.