Skip to content

Conversation

mmicko
Copy link
Member

@mmicko mmicko commented Oct 16, 2025

Default size is made 2 since number must be even since we do add half cycle size on some places.

Since one test case did utilize time as well, needed to update it.

@jix
Copy link
Member

jix commented Oct 20, 2025

Can we keep the default the same?

@mmicko
Copy link
Member Author

mmicko commented Oct 20, 2025

@jix Then it would require a way for a width to be defined and propagated from sby, and for that I was not sure on how many places it is actually used

@jix
Copy link
Member

jix commented Oct 20, 2025

I consider changing the default a significant regression, since this makes correlating timestamps and cycle counts require mental arithmetic which wasn't required before (very simple arithmetic, but still distracting when debugging a complicated FV failure).

I'll look into adding an option for this to SBY.

@jix jix merged commit f6fb423 into main Oct 20, 2025
30 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants