Gabriel Gouvine

Results 26 comments of Gabriel Gouvine

I grappled with the same issue. It would be nice to be able to run old commits with newer versions of alliance-check-toolkit as well. My solution would be to add...

Hi! Thank you for your contribution. The current code is incorrect, as it needs to work on 64-bit values for the general case

Sorry for the late answer. The width of signals is always 64 bits, representing 64 parallel simulations in a u64. For a simple gate, like an and or or, we...

Nice bit of black magic with fold. Looks good to me, except for the comment I made

@donn This will be dreadfully slow compared to the usual simulation - for ATPG in particular - but at least now it's supported. It's certainly possible to make it a...