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



assert ZeroOneHot( ASel&BSel&CSel&DSel ) report "Selects not mutually exclusive" severity error ; 
RemovePriorityProc : procss(A, B, C, D, ASel, BSel, CSel, DSel) is
  if (ASel) then 
    Y <= A ; 
  elsif BSel then 
    Y <= B ; 
  elsif CSel then 
    Y <= C ;
  elsif DSel then 
    Y <= D ; 
    Y <= (others => 'X') ;
  end if;  
end process RemovePriorityProc ; 

General Comments


Add your signature here to indicate your support for the proposal

Topic revision: r2 - 2020-02-17 - 15:34:28 - JimLewis
Copyright © 2008-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback