Search Results for Semantics.

Reliable and Energy Efficient Streaming Multiprocessor Systems

Yazar

Das, Anup Kumar. author.

https://doi.org/10.1007/978-3-319-69374-3

Format:

Electronic Resources

Alıntı:

Chapter 1. Introduction -- chapter 2.Operational Semantics of Application and Reliability Model

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

Yazar

Zhan, Naijun. author.

https://doi.org/10.1007/978-3-319-47016-0

Format:

Electronic Resources

Alıntı:

methods such as formal syntax and semantics, and especially the common techniques applied in formal

Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design

Yazar

Chen, Weiwei. author.

http://dx.doi.org/10.1007/978-3-319-08753-5

Format:

Electronic Resources

Alıntı:

simulation execution semantics for ESL models; • Discusses discrete event simulation, along with synchronous

Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems

Yazar

Yoong, Li Hsien. author.

http://dx.doi.org/10.1007/978-3-319-10521-5

Format:

Electronic Resources

Alıntı:

main vehicle for defining an unambiguous semantics that ensures determinism and deadlock freedom. The

Digital VLSI Design with Verilog A Textbook from Silicon Valley Polytechnic Institute

Yazar

Williams, John Michael. author.

http://dx.doi.org/10.1007/978-3-319-04789-8

Format:

Electronic Resources

Alıntı:

language: Syntax, synthesis semantics, simulation, and test. Complete solutions for the 27 labs are

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications

Yazar

Mehta, Ashok B. author.

http://dx.doi.org/10.1007/978-3-319-30539-4

Format:

Electronic Resources

Alıntı:

entirety the latest IEEE-1800 2012 LRM syntax and semantics; · Covers both SystemVerilog Assertions and

SVA: The Power of Assertions in SystemVerilog

Yazar

Cerny, Eduard. author.

http://dx.doi.org/10.1007/978-3-319-07139-8

Format:

Electronic Resources

Alıntı:

Verification and Models.- Formal Semantics.- Part VI. Advanced Checkers -- Checkers in Formal Verification

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

Yazar

Fitzgerald, John. editor.

http://dx.doi.org/10.1007/978-3-642-54118-6

Format:

Electronic Resources

Alıntı:

-- Semantics of Co-simulation -- From Embedded to Cyber-Physical Systems: Challenges and Future Directions

Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering

Yazar

Sobh, Tarek. editor.

http://dx.doi.org/10.1007/978-3-319-06773-5

Format:

Electronic Resources

Alıntı:

Semantics -- A Novel Dual-Error Approach to System Identification -- On Verification of the Software

	{displayName}	{count}
{error}