第 1/1 張圖片
Synthesis of Finite State Machines: Logic Optimization
by Villa, Tiziano; Kam, Timothy;... | HC | VeryGood
狀況：
“May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend ”... 閱讀更多內容關於物品狀況
運費：
所在地：Aurora, Illinois, 美國
送達日期：
估計於 6月12日, 三至 6月15日, 六之間送達 運送地點 43230
退貨：
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
物品細節
- 物品狀況
- 很好
- 賣家備註
- Binding
- Hardcover
- Weight
- 1 lbs
- Product Group
- Book
- IsTextBook
- No
- ISBN
- 9780792398929
- Subject Area
- Computers, Technology & Engineering
- Publication Name
- Synthesis of Finite State Machines : Logic Optimization
- Item Length
- 9.3 in
- Publisher
- Springer
- Subject
- Machine Theory, Cad-Cam, Electronics / Circuits / Vlsi & Ulsi, Electronics / Circuits / General, Electrical, Logic Design
- Publication Year
- 1997
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Width
- 6.1 in
- Item Weight
- 57.8 Oz
- Number of Pages
- Xiii, 381 Pages
關於產品
Product Information
Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume, Synthesis of Finite State Machines: Functional Optimization, addresses functional optimization, whereas this one addresses logic optimization. The result of functional optimization is a symbolic description of an FSM which represents a sequential function chosen from a collection of permissible candidates. Logic optimization is the body of techniques for converting a symbolic description of an FSM into a hardware implementation. The mapping of a given symbolic representation into a two-valued logic implementation is called state encoding (or state assignment) and it impacts heavily area, speed, testability and power consumption of the realized circuit. The first part of the book introduces the relevant background, presents results previously scattered in the literature on the computational complexity of encoding problems, and surveys in depth old and new approaches to encoding in logic synthesis. The second part of the book presents two main results about symbolic minimization; a new procedure to find minimal two-level symbolic covers, under face, dominance and disjunctive constraints, and a unified frame to check encodability of encoding constraints and find codes of minimum length that satisfy them. The third part of the book introduces generalized prime implicants (GPIs), which are the counterpart, in symbolic minimization of two-level logic, to prime implicants in two-valued two-level minimization. GPIs enable the design of an exact procedure for two-level symbolic minimization, based on a covering step which is complicated by the need to guarantee encodability of the final cover. A new efficient algorithm to verify encodability of a selected cover is presented. If a cover is not encodable, it is shown how to augment it minimally until an encodable superset of GPIs is determined. To handle encodability the authors have extended the frame to satisfy encoding constraints presented in the second part. The covering problems generated in the minimization of GPIs tend to be very large. Recently large covering problems have been attacked successfully by representing the covering table with binary decision diagrams (BDD). In the fourth part of the book the authors introduce such techniques and extend them to the case of the implicit minimization of GPIs, where the encodability and augmentation steps are also performed implicitly. Synthesis of Finite State Machines: Logic Optimization will be of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits.
Product Identifiers
Publisher
Springer
ISBN-10
0792398920
ISBN-13
9780792398929
eBay Product ID (ePID)
102860758
Product Key Features
Publication Name
Synthesis of Finite State Machines : Logic Optimization
Format
Hardcover
Language
English
Subject
Machine Theory, Cad-Cam, Electronics / Circuits / Vlsi & Ulsi, Electronics / Circuits / General, Electrical, Logic Design
Publication Year
1997
Type
Textbook
Subject Area
Computers, Technology & Engineering
Number of Pages
Xiii, 381 Pages
Dimensions
Item Length
9.3 in
Item Width
6.1 in
Item Weight
57.8 Oz
Additional Product Features
LCCN
97-007693
Intended Audience
Scholarly & Professional
Number of Volumes
1 Vol.
Lc Classification Number
Tk7867-7867.5
Table of Content
I From Symbolic To Logic Representations.- 1 Introduction.- 2 Definitions.- 3 Complexity Issues.- 4 Encoding For Synthesis.- II Constrained Encoding.- 5 Symbolic Minimization.- 6 Encoding Constraints.- III Generalized Prime Implicants.- 7 Generalized Prime Implicants.- 8 Minimization of GPIS.- 9 Encodeability of GPIS.- IV Implicit Techniques for Encoding.- 10 Implicit Formulation of Unate Covering.- 11 Implicit Minimization of GPIS.- V Conclusions.- 12 Conclusions.- References.
Copyright Date
1997
Dewey Decimal
621.39/5
Dewey Edition
21
Illustrated
Yes
賣家提供的物品說明
運費與處理費
物品所在地：
Aurora, Illinois, 美國
運送地點
不丹, 中國, 中國台灣, 中國澳門, 中國香港, 中非共和國, 丹麥, 乍德, 也門, 亞塞拜疆共和國, 亞美尼亞, 以色列, 伊拉克, 伯利茲, 佛得角群島, 保加利亞, 克羅地亞共和國, 全球, 冰島, 列支敦士登, 利比利亞, 剛果共和國, 剛果民主共和國, 加拿大, 加納, 加蓬共和國, 匈牙利, 南非, 南韓, 博茨瓦納, 卡塔爾, 印尼, 印度, 危地馬拉, 厄瓜多爾, 厄立特里亞, 吉布提, 吉爾吉斯, 哈薩克, 哥倫比亞, 哥斯達黎加, 喀麥隆, 圖瓦盧, 土庫斯安德凱科斯群島, 土庫曼, 土耳其, 圭亞那, 坦桑尼亞, 埃及, 埃塞俄比亞, 基里巴斯, 塔吉克, 塞內加爾, 塞拉利昂, 塞浦路斯, 塞爾維亞, 塞舌爾, 墨西哥, 多哥, 多明尼加, 多明尼加共和國, 奧地利, 孟加拉, 安哥拉, 安圭拉島, 安提瓜和巴布達, 安道爾, 寮國, 尼加拉瓜, 尼日利亞, 尼日爾, 尼泊爾, 巴哈馬, 巴基斯坦, 巴布亞新畿內亞, 巴拉圭, 巴拿馬, 巴林, 巴西, 布基納法索, 布隆迪, 希臘, 帛琉, 幾內亞, 幾內亞比索, 庫克群島, 德國, 意大利, 愛沙尼亞, 愛爾蘭, 所羅門群島, 拉脫維亞, 挪威, 捷克共和國, 摩洛哥, 摩爾多瓦, 摩納哥, 斐濟, 斯威士蘭, 斯洛伐克, 斯洛文尼亞, 斯瓦爾巴群島和揚馬延島, 斯里蘭卡, 新加坡, 日本, 智利, 柬埔寨, 格恩西島, 格陵蘭, 格雷納達, 格魯吉亞, 梵蒂岡, 比利時, 毛里求斯, 汶萊, 沙特阿拉伯, 法國, 波多黎各, 波斯尼亞和黑塞哥維那, 波蘭, 泰國, 津巴布韋, 洪都拉斯, 海地, 湯加, 澤西島, 澳洲, 烏干達, 烏拉圭, 烏茲別克, 牙買加, 特里尼達和多巴哥, 玻利維亞, 瑙魯, 瑞典, 瑞士, 瓦利斯和富圖納群島, 瓦努阿圖, 甘比亞, 白俄羅斯, 百慕達群島, 盧旺達, 盧森堡, 直布羅陀, 福克蘭群島（馬爾維納斯）, 科威特, 科特迪瓦（象牙海岸）, 秘魯, 突尼斯, 立陶宛, 米克羅尼西亞, 約旦, 納米比亞, 紐埃, 紐西蘭, 索馬里, 羅馬尼亞, 美屬薩摩亞, 美屬處女島, 聖基茨-尼維斯, 聖文森和格瑞那丁, 聖皮耶與密克隆群島, 聖盧西亞, 聖赫倫那島, 聖馬力諾, 肯亞, 芬蘭, 英國, 英屬維爾京群島, 茅利塔尼亞, 荷屬安地列斯群島, 荷蘭, 莫桑比克, 菲律賓, 萊索托, 葛摩, 葡萄牙, 蒙古, 蒙特色拉特島, 薩爾瓦多, 蘇里南, 西撒哈拉, 西班牙, 西薩摩亞, 貝寧, 贊比亞, 赤道幾內亞, 越南, 開曼群島, 關島, 阿富汗, 阿拉伯聯合酋長國, 阿曼, 阿根廷, 阿爾及利亞, 阿爾巴尼亞, 阿魯巴, 馬來西亞, 馬其頓, 馬拉維, 馬爾代夫, 馬約特島, 馬紹爾群島, 馬耳他, 馬達加斯加, 馬里, 黎巴嫩, 黑山
排除：
俄羅斯聯邦, 利比亞, 委內瑞拉, 巴貝多, 新喀里多尼亞, 法屬圭亞那, 法屬玻里尼西亞, 烏克蘭, 瓜德羅普島, 留尼汪島, 馬提尼克島
| 運費與處理費 | 運送地點 | 運送方式 | 運送*查看送達備註 |
|---|---|---|---|
| 免運費 | 美國 | Economy Shipping | 估計於 6月12日, 三至 6月15日, 六之間送達 運送地點 43230 |
| US $15.99（大約 HK$ 124.91） | 美國 | Expedited Shipping | 估計會在 6月12日, 三或之前送達 運送地點 43230 |
| 稅項 |
|---|
| 賣家將對以下州別的買家收取銷售稅： |
物品編號 375149384820 的銷售稅
物品編號 375149384820 的銷售稅
賣家會對寄往以下各州的物品收取銷售稅：
| 州／省 | 銷售稅稅率 |
|---|---|
| Missouri (MO) | 8.238% |
退貨政策
| 收到物品後聯絡賣家的期限： | 退款方式 |
|---|---|
| 30 日 | 退款 |
賣家負責支付退貨運費。
賣家信用評價 （5,210,528）
a***g (50)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Great condition and fast delivery!
5***c (651)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Very nice bible like new condition very cheap price fast ship.100% satisfied 😌