图书目录大全

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

☆☆☆☆☆
简体网页||繁体网页

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 在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-09-20

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

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 在线电子书下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!