|
【文件名】:06324@52RD_Designing Safe VHDL State Machines with Synplify.rar
【格 式】:rar
【大 小】:164K
【简 介】:One of the strengths of Synplify is the Finite State Machine compiler. This is a
powerful feature that not only has the ability to automatically detect state machines in the
source code, and implement them with either sequential, gray, or one-hot encoding.
But also perform a reachability analysis to determine all the states that could possibly be
reached, and optimize away all states and transition logic that can not be reached.
Thus, producing a highly optimal final implementation of the state machine.
In the vast majority of situations this behavior is desirable. There are occasions,
however, when the removal of unreachable states is not acceptable. One clear example
is when the final circuit will be subjected to a harsh operating environment, such as
space applications where there may be high levels of radiation. In the presence of high
levels of radiation, storage elements (flip-flops) have been known to change state due to
alpha particle hits. If a single bit of a state register were to suddenly change value, the
resulting state may be invalid. If the invalid states and transition logic had been
removed, the circuit may never get back to a valid state.
By default Synplify will create state machines that are optimized for speed and area.
This application note will use an example state machine design to show the default small
& fast implementation. It will also demonstrate how to trade-off some of that speed &
area to produce highly reliable state machines using Synplify.
【目 录】:
1.One possible RTL implementation would be
2.Default Implementation
3."Safe" Implementation
4."Exact" Implementation
|
本帖子中包含更多资源
您需要 登录 才可以下载或查看,没有账号?注册
×
|