TWiki
>
P1076 Web
>
Vhdl2019CollectedRequirements
>
AssertionDirectives
(2020-02-17,
JimLewis
)
(raw view)
E
dit
A
ttach
---+ Assertions as Directives %TOC% ---++ Proposal Editing Information * Who Updates: Main.JimLewis, <Add YourName>, ... * Date Proposed: 2014-04-30 * Date Last Updated: 2014-04-30 * Priority: * Complexity: * Focus: Testbench * Proposal Maturity: Brainstorming ---++ Requirement Summary Use information in assertions to direct synthesis results. ---++ Related Issues: [[SynthesizableReportsAssertions]] ---++ Proposal ---+++ ZeroOneHot <verbatim>assert ZeroOneHot( ASel&BSel&CSel&DSel ) report "Selects not mutually exclusive" severity error ; RemovePriorityProc : procss(A, B, C, D, ASel, BSel, CSel, DSel) is begin if (ASel) then Y <= A ; elsif BSel then Y <= B ; elsif CSel then Y <= C ; elsif DSel then Y <= D ; else Y <= (others => 'X') ; end if; end process RemovePriorityProc ; </verbatim> ---++ General Comments ---++ Supporters _Add your signature here to indicate your support for the proposal_
E
dit
|
A
ttach
|
P
rint version
|
H
istory
: r2
<
r1
|
B
acklinks
|
V
iew topic
|
Ra
w
edit
|
M
ore topic actions
Topic revision: r2 - 2020-02-17 - 15:34:28 -
JimLewis
P1076
Log In
or
Register
P1076 Web
Create New Topic
Index
Search
Changes
Notifications
RSS Feed
Statistics
Preferences
Webs
Main
P1076
Ballots
LCS2016_080
P10761
P1647
P16661
P1685
P1734
P1735
P1778
P1800
P1801
Sandbox
TWiki
VIP
VerilogAMS
Copyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback