Có 100+ tài liệu thuộc chủ đề "thiết bị máy chủ"
tailieu.vn Xem trực tuyến Tải xuống
6.1 ¨ Aquivalenzpr¨ufung kombinatorischer und sequentieller Schaltungen 263 w¨ahrend der symbolischen Simulation die Erreichbarkeitsmenge S R [t] f¨ur die in Zeit- schritt t erreichbaren Zust¨ande berechnet. 6.1.4 Strukturelle ¨ Aquivalenzpr ¨ufung auf der Logikebene. Die implizite kombinatorische ¨ Aquivalenzpr¨ufung auf der Logikebene mit ROBDDs oder ROKFDDs kann aufgrund des hohen Speicherbedarfs oftmals nicht f¨ur große kombinatorische Schaltungen durchgef¨uhrt werden. Auf...
tailieu.vn Xem trực tuyến Tải xuống
Alternativ kann ein Operand auch direkt als Konstante in der Instruktion gespeichert sein.. In der ALU wird anschließend die durch der Instruktion codierte Operation be- rechnet. Auf der Mikroarchitektur in Abb. die einzelnen Instruktionen sind in der sog. Es ist denkbar und g¨angige Praxis, dass die Ausf¨uhrung. Betrachtet wird der Prozessor aus Beispiel 6.3.1 in Abb. Ei- ne Mikroarchitektur, die...
tailieu.vn Xem trực tuyến Tải xuống
F¨ur die funktionale Eigenschaftspr¨ufung von Hardware-Komponenten werden heut- zutage im Wesentlichen zusicherungsbasierte oder SAT-basierte Verfahren einge- setzt. F¨ur die zusicherungsbasierte, simulative Eigenschaftspr¨ufung werden Zusicherun- gen (engl. F¨ur die funktionale Eigenschaftspr¨ufung von Hardware-Komponenten werden diese Mo- nitore in Schaltungen synthetisiert. System Under Verifi- cation), welche f¨ur die ¨ Uberpr¨ufung der Zusicherung beobachtet werden m¨ussen, erhalten. erf¨ullt sein, wenn die Zusicherung bereits...
tailieu.vn Xem trực tuyến Tải xuống
Die zugeh¨orige Matrix A LIS wurde bereits in Beispiel 6.5.4 bestimmt. Dieser wurde direkt aus der Matrix A LIS aus Beispiel 6.5.4 konstruiert. Die ¨ Aquivalenzpr¨ufung kombinatorischer und sequentieller Schaltungen ist ausf¨uhr- lich in dem Buch von Molitor und Mohnke [329] diskutiert. Entscheidungsdiagram- me f¨ur implizite ¨ Aquivalenzpr¨ufung auf der Logikebene sind in [135] beschrieben.. Die implizite ¨ Aquivalenzpr¨ufung zwischen...
tailieu.vn Xem trực tuyến Tải xuống
ADDG f¨ur a) Programm 1 und b) Programm 2 aus Beispiel 7.1.10. Beispiel 7.1.13. F¨ur Programm 1 aus Beispiel 7.1.10 ergibt sich die Ausgabe-zu- Eingabe-Abbildung f¨ur die Variablen c und b unter ausschließlicher Ber¨ucksichti- gung des rechten Pfades im ADDG in Abb. Beispiel 7.1.14. 7.9a) mit den Pfaden 1 und 5 in Abb. Weiterhin korrespondiert Pfad 2 in Abb. 7.9a)...
tailieu.vn Xem trực tuyến Tải xuống
all p-uses. Im all p-uses. Beispiel 7.2.20. Betrachtet wird das Programm aus Beispiel 7.2.16. Um 100% all p-uses. Somit subsumiert der all p-uses. all c-uses. Analog zum all p-uses. Uberdeckungstest wird im all c-uses. Beispiel 7.2.21. F¨ur das Programm aus Beispiel 7.2.16 f¨uhrt die Testfalleingabe (v in , v 1 , v 2 , v 3 ,v out ) zu...
tailieu.vn Xem trực tuyến Tải xuống
Gegeben sei ein Ablaufplanungsproblem nach Definition 7.4.8 mit der Eigenschaft ∀v i ∈ V : τ d ∗ (v i. Dann erh¨alt man f¨ur die rechte Seite der Ungleichung (7.19) den Wert ln ( 2. Man beachte, dass das Kriteri- um in Theorem 7.4.3 nat¨urlich nur eine hinreichende Bedingung darstellt, so dass es auch Probleminstanzen geben kann, f¨ur die der...
tailieu.vn Xem trực tuyến Tải xuống
in der alle Variablen v ∈ V R existentiell quantifiziert wurden),. Hierzu werden die SystemC-Prozesse in kombinatorische, getaktete und uneingeschr¨ankte Threads klassifiziert und bei der Generierung der LTS geson- dert behandelt.. Uneingeschr¨ankte Threads unterliegen erwartungs- gem¨aß keinen Einschr¨ankungen und lassen somit bei der Abbildung auf LTS auch keine Optimierungen zu.. in der parallelen Komposition M der LTS M 1 bis...
tailieu.vn Xem trực tuyến Tải xuống
Etwas komplizierter ist der Fall f¨ur die Umwandlung eines periodischen Ereignisstroms mit Bursts (X. (8.5) F¨ur die Umwandlung von Ereignisstr¨omen mit Adaptierung aus Abb. d EAF + f¨ur die jeweiligen Ereignisadaptierungsfunktionen sowie die Ereignismodell- schnittstelle in Tabelle 8.2 angegeben. Ereignisadaptierungsfunktionen und Ereignismodellschnittstellen f¨ur die Um- wandlung von Ereignisstr¨omen mit Adaptierung nach Abb. Auf Basis der Kopplung von Ereignisstr¨omen lassen sich...
tailieu.vn Xem trực tuyến Tải xuống
Ein Entscheidungsdiagramm G heißt geordnet, falls G frei ist und auf jedem Pfad vom Quellknoten zu einem Termi- nalknoten die Variablen in der selben Reihenfolge auftreten.. B.2 Bin¨are Entscheidungsdiagramme. Die Funktion f| x i. Die Funktion f | x i. Ordered Binary De- cision Diagram, OBDD), falls es frei ist und auf jedem Pfad vom Quellknoten zu einem Terminalknoten die...
tailieu.vn Xem trực tuyến Tải xuống
In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design (FMCAD), Seiten . In: Proceedings of the High-Level Design Validation and Test Workshop (HLDVT), Seiten . In: Proceedings of the Asia and South Pacific Design Automation Conference (ASPDAC), Seiten . In: Proceedings of the Design Automation Conference (DAC), Seiten . In: Proceedings of the Interna- tional Conference on...
tailieu.vn Xem trực tuyến Tải xuống
mit Fließbandverarbeitung, 293–308 mit Multizyklen-Funktionseinheit, 293,. Modellpr¨ufung Abstraktionsverfeinerung. von Programmen 425 BDD-basierte, 156 CTL, 179–185 existentielle, 200. LTL, 185–188 SAT-basierte, 156. von Hardware 331–345 von Programmen 422–425 SE-LTL, 473–474. symbolische BDD-basierte 197–199 SAT-basierte 199–207 TCTL, 211–222. TLM, 476–484 universelle, 200. von Programmen, 422–431 Modulebene 14, 15 Moment. bin¨arer, siehe BMD Monitor Monitorschaltung 323. reduziertes, siehe ROBDD. reduziertes, siehe ROFDD Off-Testfall...
tailieu.vn Xem trực tuyến Tải xuống
No patent liability is assumed with respect to the use of the information contained herein. Nor is any liability assumed for damages resulting from the use of the informa- tion contained herein.. All terms mentioned in this book that are known to be trademarks or service marks have been appropriately capitalized. Sams Publishing cannot attest to the accuracy of this...
tailieu.vn Xem trực tuyến Tải xuống
Figure 1.7 shows the Xenium mod chip installed in an Xbox motherboard. Figure 1.8 shows the Xenium OS, which allows you to run custom software on the Xbox. FIGURE 1.7 The Xenium mod chip has been installed on the Xbox motherboard.. FIGURE 1.8 The Xenium 0/5 2.0 (built into the mod chip's BIOS) is used to run custom Xbox software.....
tailieu.vn Xem trực tuyến Tải xuống
This connector comes from the power supply, which is located on the right side of the motherboard, screwed into the case.. Locate the power supply connector by referring to Figure 2.45. This is identical to an ATX motherboard power connector in a PC (see Figure 2.46).. FIGURE 2.45 Locating the power supply connector on the motherboard.. After you have disengaged...
tailieu.vn Xem trực tuyến Tải xuống
I recommend against sending your Xbox to a madder for mod chip installation. It is best to learn how to install your own mod chip!. The war, it seems, between Microsoft and the mod chip manufacturers achieved something of a stalemate when Xbox 1.6 was released, which pretty much wiped out the mod chip community with its significant archi- tectural...
tailieu.vn Xem trực tuyến Tải xuống
FIGURE 6.10 The pin header is soldered to the LPC.. FIGURE 6.11 The LPC is located near the Nvidia MCPX processor.. Installing a Pin Header (All Revisions) 107. You first need to remove pin 4 from the pin header. Pin 4 is shown in Figure 6.12. Note that pins on the LPC start at the top right (pin 1), down...
tailieu.vn Xem trực tuyến Tải xuống
The Disk Tools menu in the Xenium O/S (see Figure 7.10) includes a handy feature that will copy one entire partition of a hard drive to another drive: Copy Partition. FIGURE 7.10 The Copy Partition option.. Select the Copy Partition menu option to bring up the next screen, shown in Figure 7.11. The Xenium O/S Main Menu 137. FIGURE 7.11...
tailieu.vn Xem trực tuyến Tải xuống
FIGURE 8.11 Customizing the Xbox BIOS with XBtool.. bin file I created (back in Figure 8.1l), the evoxdash. You can edit the EvoX menu by simply modifying the evox. Figure 8.12 shows the evox. Alternatively, you can open the evox. FIGURE 8.12 The EvoX settings file.. I prefer to use a static IP most of the time, as you can...
tailieu.vn Xem trực tuyến Tải xuống
As you can see, there are several subscreens for IP, FTP, IRe, and other settings.. You can use the D-pad to navigate from the items in each Settings screen and back to the tabbed list of subitems in each Settings screen. From the IP Settings screen, you can edit almost every. As you can see, Avalaunch can even connect to...