One of the strengths of Synplify is the Finite State Machine compiler. This is a powerfulfeature that not only has the ability to automatically detect state machines in the sourcecode, and implement them with either sequential, gray, or one-hot encoding. But alsoperform a reachability analysis to determine all the states that could possibly bereached, and optimize away all states and transition logic that can not be reached.Thus, producing a highly optimal final implementation of the state machine.
標簽: Synplicity Machine Verilog Design
上傳時間: 2013-10-20
上傳用戶:蒼山觀海
Finite state machines are widely used in digital circuit designs. Generally, when designing a state machine using an HDL, the synthesis tools will optimize away all states that cannot be reached and generate a highly optimized circuit. Sometimes, however, the optimization is not acceptable. For example, if the circuit powers up in an invalid state, or the circuit is in an extreme working environment and a glitch sends it into an undesired state, the circuit may never get back to its normal operating condition.
標簽: Creating Machines Mentor State
上傳時間: 2013-11-02
上傳用戶:xauthu
This book introduces embedded systems to C and C++ programmers. Topics include testing memory devices, writing and erasing Flash memory, verifying nonvolatile memory contents, controlling on-chip peripherals, device driver design and implementation, optimizing embedded code for size and speed, and making the most of C++ without a performance penalty. Pages : 336 Slots : 1
標簽: programmers introduces embedded include
上傳時間: 2013-12-10
上傳用戶:shizhanincc
CZipFile is a lite library that allows you to get information about a zip archive. It is not able to decompress the files, but just retrieves the contents—the file name, file size, and so on.
標簽: information CZipFile archive library
上傳時間: 2013-12-13
上傳用戶:ruixue198909
長整數類,數據成員有一個指針,一個整數size,可以存放100位以上整數,可以做加法乘法運算
標簽: 整數
上傳時間: 2015-01-30
上傳用戶:wang0123456789
重寫了微軟提供SQLHelper(共用的數據庫調用接口) 1把SqlHelper的connectionString做成一個全局量,統一設置數據庫連接字符串 2增加了返回特定表名的DataSet的各接口。 可在項目的config文件設置數據庫連接字符串 private static string connectionString = System.Configuration.ConfigurationSettings.AppSettings["ConnectionString"] <!-- application specific settings --> <appSettings> <add key="ConnectionString" value="packet size=4096 user id=sa data source=localhost persist security info=True initial catalog=NorthWind password= "/> </appSettings> 當然可以把數據庫連接方法修改后直接用。
標簽: connectionString SQLHelper SqlHelper 微軟
上傳時間: 2013-12-12
上傳用戶:釣鰲牧馬
isp1160_isa_evel_codeUSB主機軟件,可驅動打印機,音頻設備,鼠標? size=80>
標簽: isa_evel_codeUSB 1160 isp 主機
上傳時間: 2015-02-21
上傳用戶:semi1981
NTL is a high-performance, portable C++ library providing data structures and algorithms for manipulating signed, arbitrary length integers, and for vectors, matrices, and polynomials over the integers and over finite fields.
標簽: high-performance algorithms structures providing
上傳時間: 2014-01-05
上傳用戶:水中浮云
Client/Server版本 DBISAM compiles directly into your application with no external libraries required. Runtime package support is also provided if so desired. It has a very small footprint and does not require any forms support in Delphi 6, C++Builder 6, and Kylix 2 and higher, which helps keep the size of non-UI applications like services or web applications to a minimum.
標簽: application libraries compiles directly
上傳時間: 2015-04-04
上傳用戶:sz_hjbf
在C語言中,可以用keep ( )函數將程序駐留內存。這個函數有兩個參數:status和size。size為駐留內存長度,可以用size=_SS+_SP/16-_psp得到,當然這也是一種估算的方法,并不是精確值。函數執行完以后,出口狀態信息保存在status中。比如,對于上面的例子,將“geninterrupt (0x60) ”改寫成“keep(0,_SS+_SP/16-_psp) ”后再執行程序,這一段程序就被駐留,此后在其它的任何軟件或程序設計中,只要用到了60H號中斷,就會在屏幕上顯示“This is an example!”的字樣。要恢復系統對60H號中斷的定義,只能重新啟動計算機。
標簽: C語言
上傳時間: 2015-05-01
上傳用戶:yd19890720