
|
attribute |
value |
name |
ltlsynt |
description |
TLSF synthesis track
starexec_run_segsyntdsabc : ds pipeline for synthesis with circuit reduction by abc
starexec_run_segsyntsdabc : sd pipeline for synthesis with circuit reduction by abc
starexec_run_segsyntlarabc : lar pipeline for synthesis with circuit reduction by abc
|
owner |
Florian Renkin
|
uploaded |
Jul 08 2022 |
disk size |
44.1 MB |
build status |
built on StarExec |
|