Search results

sby error: Async reset \rst yields non-constant value 4'mmmm

Status: Open.

#321 In YosysHQ/sby;

· Pranav-Gadre opened on Apr 17, 2025

Not able to identify which assertion failed when using generators

Status: Open.

#306 In YosysHQ/sby;

· zputrle opened on Oct 29, 2024

Using generated test benches with the original source code

Status: Open.

#300 In YosysHQ/sby;

· zputrle opened on Oct 11, 2024

Handle inout ports automatically and produce errors if not possible

Status: Open.

#299 In YosysHQ/sby;

· jix opened on Oct 1, 2024

X/Z bits in property mishandled by btor backend

Status: Open.

#295 In YosysHQ/sby;

· nakengelhardt opened on Aug 23, 2024

Previously working example now fails on newest version

Status: Open.

#279 In YosysHQ/sby;

· fayalalebrun opened on Jun 2, 2024

Error regarding std::bad_alloc

Status: Open.

#265 In YosysHQ/sby;

· natureangel opened on Mar 7, 2024

Yosys doesn't work on btor pono engine.

Status: Open.

#257 In YosysHQ/sby;

· CrazybinaryLi opened on Dec 20, 2023

Unexpected behaviour with asynchronous reset

Status: Open.

#255 In YosysHQ/sby;

· mpardalos opened on Dec 4, 2023

<code>sby</code> depends on <code>click</code> without specifying a version constraint

Status: Open.

#234 In YosysHQ/sby;

· whitequark opened on Feb 27, 2023

VCD dump for PASS

Status: Open.

#233 In YosysHQ/sby;

· marvintau opened on Feb 20, 2023

[RFC] Ensuring code is formatted in accordance to pep8

Status: Open.

#208 In YosysHQ/sby;

· lethalbit opened on Aug 4, 2022