標題: Titlebook: Languages, Design Methods, and Tools for Electronic System Design; Selected Contributio Franco Fummi,Robert Wille Book 2018 Springer Intern [打印本頁] 作者: genial 時間: 2025-3-21 18:30
書目名稱Languages, Design Methods, and Tools for Electronic System Design影響因子(影響力)
書目名稱Languages, Design Methods, and Tools for Electronic System Design影響因子(影響力)學科排名
書目名稱Languages, Design Methods, and Tools for Electronic System Design網絡公開度
書目名稱Languages, Design Methods, and Tools for Electronic System Design網絡公開度學科排名
書目名稱Languages, Design Methods, and Tools for Electronic System Design被引頻次
書目名稱Languages, Design Methods, and Tools for Electronic System Design被引頻次學科排名
書目名稱Languages, Design Methods, and Tools for Electronic System Design年度引用
書目名稱Languages, Design Methods, and Tools for Electronic System Design年度引用學科排名
書目名稱Languages, Design Methods, and Tools for Electronic System Design讀者反饋
書目名稱Languages, Design Methods, and Tools for Electronic System Design讀者反饋學科排名
作者: critique 時間: 2025-3-21 21:49
Designing Reliable Cyber-Physical Systems,ective interfaces between those parts, are omnipresent in our daily lives. The application in the physical environment drives the overall requirements that must be respected when designing the computing system. Here, reliability is a core aspect where some of the most pressing design challenges are:作者: 鳥籠 時間: 2025-3-22 03:18 作者: photopsia 時間: 2025-3-22 07:07
Error-Based Metric for Cross-Layer Cut Determination,e model scalability issue. To address these challenges, this chapter studies two systematic methods: selective abstraction and stochastic techniques. The concept of selective abstraction via black-boxing is realised using hierarchical modelling and cross-layer cuts, respecting the concepts of boxabi作者: Subjugate 時間: 2025-3-22 10:13
Feature-Based State Space Coverage Metric for Analog Circuit Verification,ay’s analog blocks. We define an appropriate coverage metric to score simulations and then minimize the simulation effort for achieving full state space coverage with an algorithm generating appropriate input stimuli. Our proposed method uses characteristic properties of a discretized representation作者: 劇毒 時間: 2025-3-22 13:09
Error-Free Near-Threshold Adiabatic CMOS Logic in the Presence of Process Variation,nt concerns is whether reliable performance is retained with voltage scaling. We find that typical variations of process parameters do not affect error-free operation at the minimum-energy frequency. Monte Carlo simulations of a 4-bit full adder using ECRL logic with 0.45?V supply voltage show that 作者: Nutrient 時間: 2025-3-22 18:33 作者: certain 時間: 2025-3-23 01:13
Georg Gl?ser,Hyun-Sek Lukas Lee,Markus Olbrich,Erich Barkeerial: .This book surveys significant modern contributions to the mathematical theories of generalized heat wave equations. The first three chapters form a comprehensive survey of most modern contributions also describing in detail the mathematical properties of each model. Acceleration waves and sh作者: 放逐某人 時間: 2025-3-23 03:34 作者: facetious 時間: 2025-3-23 07:52 作者: Hyperalgesia 時間: 2025-3-23 11:34 作者: 圓木可阻礙 時間: 2025-3-23 16:19
Andreas Fürtig,Sebastian Steinhorst,Lars Hedrichheir application to practical problems of process modelling and the apparatus design. Like the ?rst edition, the second edition contains ?ve chapters and several appendices, particularly a compilation of thermophysical property data needed for the solution of problems. Changes are made in those chap作者: 輕率的你 時間: 2025-3-23 20:20
Yue Lu,Tom J. Kazmierskicond Edition applies state-of-the-art findings on heat and mIn this revised edition of our book we retained its concept: The main emp- sis is placed on the fundamental principles of heat and mass transfer and their application to practical problems of process modelling and the apparatus design. Like作者: 鄙視 時間: 2025-3-24 01:28
heir application to practical problems of process modelling and the apparatus design. Like the ?rst edition, the second edition contains ?ve chapters and several appendices, particularly a compilation of thermophysical property data needed for the solution of problems. Changes are made in those chap作者: 我不死扛 時間: 2025-3-24 05:29 作者: 黑豹 時間: 2025-3-24 07:33
1876-1100 duces stochastic methods for power modelling.Covers design tThis book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany. ?FDL is a well-establis作者: 使服水土 時間: 2025-3-24 10:50 作者: nerve-sparing 時間: 2025-3-24 18:08 作者: 皮薩 時間: 2025-3-24 19:12 作者: 貧困 時間: 2025-3-25 00:41
Error-Free Near-Threshold Adiabatic CMOS Logic in the Presence of Process Variation, error-free operation is maintained. The maximum operating frequency (208?MHz) is reduced to nearly half of the nominal value (385?MHz). To further improve the robustness of the adder against process variation, a bit-serial adiabatic adder is considered with an even lower energy consumption per cycle.作者: Pepsin 時間: 2025-3-25 05:11
1876-1100 and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems..978-3-319-87429-6978-3-319-62920-9Series ISSN 1876-1100 Series E-ISSN 1876-1119 作者: fastness 時間: 2025-3-25 10:16
On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analystudy on applying fault localization methods based on symbolic simulation to identify corresponding TLM errors for transient bit flips at RTL. First results for the interrupt controller of the SoCRocket VP, which is being used by the European Space Agency, demonstrate the applicability of our approach.作者: Gorilla 時間: 2025-3-25 12:37
Book 2018 results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems..作者: machination 時間: 2025-3-25 17:55 作者: charisma 時間: 2025-3-25 20:46
Languages, Design Methods, and Tools for Electronic System Design978-3-319-62920-9Series ISSN 1876-1100 Series E-ISSN 1876-1119 作者: itinerary 時間: 2025-3-26 00:28 作者: 散步 時間: 2025-3-26 07:11
Franco Fummi,Robert WilleCovers analog-mixed signal design techniques.Includes descriptions of methods for reliable system design as well as fault localization.Introduces stochastic methods for power modelling.Covers design t作者: MOTIF 時間: 2025-3-26 10:04
Lecture Notes in Electrical Engineeringhttp://image.papertrans.cn/l/image/581224.jpg作者: hermitage 時間: 2025-3-26 13:10 作者: Asseverate 時間: 2025-3-26 18:54 作者: 發(fā)展 時間: 2025-3-27 00:09 作者: 逢迎春日 時間: 2025-3-27 02:46 作者: 勛章 時間: 2025-3-27 06:37 作者: 非秘密 時間: 2025-3-27 12:33
A. Rafiev,F. Xia,A. Iliasov,R. Gensh,A. Aalsaud,A. Romanovsky,A. Yakovlev solution of problems are given in the ?nal appendix. The new edition also enabled us to correct printing errors and mistakes. In preparing the new edition we were assisted by Jens K¨ orber, who helped us to su978-3-540-29527-3作者: NAIVE 時間: 2025-3-27 14:07
Yue Lu,Tom J. Kazmierski solution of problems are given in the ?nal appendix. The new edition also enabled us to correct printing errors and mistakes. In preparing the new edition we were assisted by Jens K¨ orber, who helped us to su978-3-540-29527-3作者: –FER 時間: 2025-3-27 20:50
Andreas Fürtig,Sebastian Steinhorst,Lars Hedrichfor relating pr- ciples to real engineering situations. Numerical answers and hints to the solution of problems are given in the ?nal appendix. The new edition also enabled us to correct printing errors and mistakes. In preparing the new edition we were assisted by Jens K¨ orber, who helped us to su
