High-Level System Modeling 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


High-Level System Modeling

简体网页||繁体网页
Berge, Jean-Michel (EDT)/ Levia, Oz (EDT)/ Rouillard, Jacques (EDT) 作者
Kluwer Academic Pub
译者
1995-9 出版日期
178 页数
$ 236.17 价格
HRD
丛书系列
9780792396321 图书编码

High-Level System Modeling 在线电子书 图书标签:  


喜欢 High-Level System Modeling 在线电子书 的读者还喜欢




点击这里下载
    

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-26


High-Level System Modeling 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

High-Level System Modeling 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

High-Level System Modeling 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024



High-Level System Modeling 在线电子书 用户评价

评分

评分

评分

评分

评分

High-Level System Modeling 在线电子书 著者简介


High-Level System Modeling 在线电子书 图书目录


High-Level System Modeling 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

High-Level System Modeling 在线电子书 图书描述

The process of modelling hardware involves a certain duality: a model may specify and represent the desires and constraints of the designer, or it may imitate something that already exists, and can end in simulation or documentation. One of the main qualities of a specification formalism is its ability to ignore issues that do not belong to this level. Such formalisms are obviously intended for the first stages of a design, but can also be used in the process of redesign. Having a proper level of description thus avoids two symmetric problems: overspecification, which would introduce new instances of the hardware constraints that were only meaningful to the previous ones; and underspecification, which would lead to unnecessary work and sometimes to starting again from scratch. Describing recent progress in specification formalisms in electronic design, this work provides an overview of object-oriented methodologies. It goes on to highlight several formalisms such as VSPEC, ESTELLE, SDL and LOTOS with methods that map their semantics to simulatable or synthesizable VHDL.

High-Level System Modeling 在线电子书 下载 mobi epub pdf txt 在线电子书下载

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

High-Level System Modeling 在线电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

High-Level System Modeling 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


分享链接





High-Level System Modeling 在线电子书 相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有