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