Assertions as Directives

Proposal Editing Information

• Who Updates: 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

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 ; 

General Comments

Supporters

Add your signature here to indicate your support for the proposal