Bug 105

Summary: sv 0.6 draft support for fail-on-first condition (and trap)
Product: Libre-SOC's first SoC Reporter: Luke Kenneth Casson Leighton <lkcl>
Component: Source CodeAssignee: Luke Kenneth Casson Leighton <lkcl>
Status: RESOLVED INVALID    
Severity: enhancement CC: libre-soc-bugs
Priority: ---    
Version: unspecified   
Hardware: PC   
OS: Linux   
NLnet milestone: NLnet.2019.02.012 total budget (EUR) for completion of task and all subtasks: 0
budget (EUR) for this task, excluding subtasks' budget: 0 parent task for budget allocation:
child tasks for budget allocation: The table of payments (in EUR) for this task; TOML format:
Bug Depends on:    
Bug Blocks: 52    

Description Luke Kenneth Casson Leighton 2019-06-28 11:58:25 BST 
need fail-on-first support and unit tests for:

* branch (actually, now branch-with-vector-compares)
* standard integer arithmetic (if zero, "fail")
* floating-point arithmetic (if zero or non-zero)
* FP compare (FEQ/FLT etc.) which is a variant of standard int
* LD/ST at end of memory page

good unit test examples: strncpy and strlen
Comment 1 Luke Kenneth Casson Leighton 2021-05-13 21:23:47 BST 
SV 0.6 (with RISC-V) is retired