{"users":[{"id":5,"username":"widlarizer","name":"Emil J. Tywoniak","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/w/bbce88/{size}.png","admin":true,"trust_level":2},{"id":104,"username":"kvnsmnsn","name":"Kevin S","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/k/f08c70/{size}.png","trust_level":0},{"id":100,"username":"Pavel","name":"","avatar_template":"/user_avatar/yosyshq.discourse.group/pavel/{size}/55_2.png","trust_level":0},{"id":59,"username":"laugensalm","name":"Martin","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/l/5f8ce5/{size}.png","trust_level":0},{"id":27,"username":"donn","name":"Donn","avatar_template":"/user_avatar/yosyshq.discourse.group/donn/{size}/7_2.png","trust_level":1},{"id":6,"username":"KrystalDelusion","name":"Krystine","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/k/8baadc/{size}.png","moderator":true,"trust_level":2},{"id":91,"username":"tambewilliam","name":null,"avatar_template":"https://avatars.discourse-cdn.com/v4/letter/t/e19b73/{size}.png","trust_level":1},{"id":73,"username":"lofty","name":null,"avatar_template":"https://avatars.discourse-cdn.com/v4/letter/l/f0a364/{size}.png","trust_level":1},{"id":93,"username":"Vishal","name":null,"avatar_template":"https://avatars.discourse-cdn.com/v4/letter/v/49beb7/{size}.png","trust_level":1},{"id":90,"username":"tcyu","name":null,"avatar_template":"https://avatars.discourse-cdn.com/v4/letter/t/a8b319/{size}.png","trust_level":0},{"id":80,"username":"peepo","name":"jay","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/p/839c29/{size}.png","trust_level":0},{"id":11,"username":"absurdfatalism","name":"Julian","avatar_template":"/user_avatar/yosyshq.discourse.group/absurdfatalism/{size}/5_2.png","trust_level":1},{"id":84,"username":"flyingcog","name":"","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/f/9dc877/{size}.png","trust_level":0},{"id":82,"username":"photon","name":null,"avatar_template":"/user_avatar/yosyshq.discourse.group/photon/{size}/46_2.png","trust_level":0},{"id":78,"username":"Truito","name":"Félix","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/t/ecae2f/{size}.png","trust_level":1},{"id":76,"username":"zapta","name":null,"avatar_template":"https://avatars.discourse-cdn.com/v4/letter/z/97f17d/{size}.png","trust_level":0},{"id":74,"username":"mkudinov","name":"Max","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/m/b19c9b/{size}.png","trust_level":0},{"id":26,"username":"manish","name":"","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/m/a6a055/{size}.png","trust_level":1},{"id":65,"username":"MysticExplorer","name":"xGvYp!2UUXqu2EhSPnJ7#","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/m/d26b3c/{size}.png","trust_level":0},{"id":64,"username":"taktoa","name":"","avatar_template":"/user_avatar/yosyshq.discourse.group/taktoa/{size}/35_2.png","trust_level":0},{"id":62,"username":"nmendezst","name":"","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/n/5f8ce5/{size}.png","trust_level":1},{"id":61,"username":"dv_coder","name":"","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/d/3ab097/{size}.png","trust_level":0},{"id":20,"username":"bsiever","name":"Bill","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/b/a4c791/{size}.png","trust_level":1},{"id":60,"username":"mnur","name":"‫ Mohammed","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/m/2acd7d/{size}.png","trust_level":0},{"id":58,"username":"raulf2012","name":"","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/r/9dc877/{size}.png","trust_level":0},{"id":4,"username":"jix","name":"Jannis Harder","avatar_template":"/user_avatar/yosyshq.discourse.group/jix/{size}/23_2.png","admin":true,"trust_level":2},{"id":51,"username":"dlmiles","name":"DM","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/d/54ee81/{size}.png","trust_level":1},{"id":50,"username":"TomV","name":null,"avatar_template":"https://avatars.discourse-cdn.com/v4/letter/t/7bcc69/{size}.png","trust_level":1},{"id":32,"username":"mark_sys","name":"Mark","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/m/bb73d2/{size}.png","trust_level":1},{"id":45,"username":"cherry-bunny779","name":"","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/c/c67d28/{size}.png","trust_level":1},{"id":40,"username":"MMMMMia","name":"","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/m/f6c823/{size}.png","trust_level":1}],"primary_groups":[],"flair_groups":[],"topic_list":{"can_create_topic":false,"more_topics_url":"/c/users/5?page=1","per_page":30,"top_tags":[],"topics":[{"fancy_title":"About the Users category","id":17,"title":"About the Users category","slug":"about-the-users-category","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2025-03-20T16:26:56.923Z","last_posted_at":"2025-03-20T16:26:56.931Z","bumped":true,"bumped_at":"2025-04-14T08:49:34.813Z","archetype":"regular","unseen":false,"pinned":true,"unpinned":null,"excerpt":"This space is for users of Yosys and other Yosys HQ tools. If you have questions about developing for Yosys or infrastructure which uses it, please use the Developers category. \nIf you are unsure about something being a …","visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":67,"like_count":0,"has_summary":false,"last_poster_username":"widlarizer","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":5,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Is This a Forum where I Can Ask Questions about Verilog?","id":156,"title":"Is This a Forum where I Can Ask Questions about Verilog?","slug":"is-this-a-forum-where-i-can-ask-questions-about-verilog","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":null,"created_at":"2026-08-14T00:19:46.894Z","last_posted_at":"2026-08-14T22:20:59.742Z","bumped":true,"bumped_at":"2026-08-14T22:20:59.742Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":11,"like_count":0,"has_summary":false,"last_poster_username":"kvnsmnsn","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":104,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"An open-source high-level synthesis tool that accepts idiomatic Python","id":154,"title":"An open-source high-level synthesis tool that accepts idiomatic Python","slug":"an-open-source-high-level-synthesis-tool-that-accepts-idiomatic-python","posts_count":4,"reply_count":1,"highest_post_number":4,"image_url":"https://global.discourse-cdn.com/free1/uploads/yosyshq/optimized/1X/cf86a36b22151f8cdd50d097419af6024cd36f8b_2_1024x512.png","created_at":"2026-06-27T19:15:39.509Z","last_posted_at":"2026-07-03T10:01:09.776Z","bumped":true,"bumped_at":"2026-07-03T10:01:09.776Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":86,"like_count":1,"has_summary":false,"last_poster_username":"laugensalm","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":100,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":59,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Equiv_opt on hierarchical designs","id":152,"title":"Equiv_opt on hierarchical designs","slug":"equiv-opt-on-hierarchical-designs","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":null,"created_at":"2026-06-17T17:22:41.187Z","last_posted_at":"2026-06-22T22:32:20.611Z","bumped":true,"bumped_at":"2026-06-22T22:32:20.611Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":51,"like_count":1,"has_summary":false,"last_poster_username":"KrystalDelusion","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":27,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":6,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Why is synth_ecp5 flag `-dff` not enabled by default?","id":150,"title":"Why is synth_ecp5 flag `-dff` not enabled by default?","slug":"why-is-synth-ecp5-flag-dff-not-enabled-by-default","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":null,"created_at":"2026-05-19T06:49:44.697Z","last_posted_at":"2026-05-20T13:50:31.499Z","bumped":true,"bumped_at":"2026-05-20T13:50:31.499Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":73,"like_count":1,"has_summary":false,"last_poster_username":"lofty","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":91,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":73,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Issue with Defining Power Pins in Standalone Yosys (USE_POWER_PINS not taking effect)","id":144,"title":"Issue with Defining Power Pins in Standalone Yosys (USE_POWER_PINS not taking effect)","slug":"issue-with-defining-power-pins-in-standalone-yosys-use-power-pins-not-taking-effect","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":null,"created_at":"2026-05-12T12:23:19.481Z","last_posted_at":"2026-05-15T05:19:17.685Z","bumped":true,"bumped_at":"2026-05-15T05:19:17.685Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":62,"like_count":0,"has_summary":false,"last_poster_username":"KrystalDelusion","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":93,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":6,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"timing closure degraded","id":139,"title":"timing closure degraded","slug":"timing-closure-degraded","posts_count":9,"reply_count":4,"highest_post_number":9,"image_url":null,"created_at":"2026-04-16T09:46:48.461Z","last_posted_at":"2026-05-13T15:45:46.079Z","bumped":true,"bumped_at":"2026-05-13T15:45:46.079Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":203,"like_count":3,"has_summary":false,"last_poster_username":"tambewilliam","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":91,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":5,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":73,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":6,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Verification of designs involving multiple clocks","id":136,"title":"Verification of designs involving multiple clocks","slug":"verification-of-designs-involving-multiple-clocks","posts_count":3,"reply_count":1,"highest_post_number":3,"image_url":null,"created_at":"2026-04-07T19:40:24.471Z","last_posted_at":"2026-04-08T12:29:01.223Z","bumped":true,"bumped_at":"2026-04-08T12:29:01.223Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":90,"like_count":0,"has_summary":false,"last_poster_username":"tcyu","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":90,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":5,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Yosys 0.61+21 up5k 48mhz internal clock won’t build (no PLL)","id":131,"title":"Yosys 0.61+21 up5k 48mhz internal clock won't build (no PLL)","slug":"yosys-0-61-21-up5k-48mhz-internal-clock-wont-build-no-pll","posts_count":3,"reply_count":1,"highest_post_number":3,"image_url":null,"created_at":"2026-03-14T12:13:14.223Z","last_posted_at":"2026-03-16T18:04:00.000Z","bumped":true,"bumped_at":"2026-03-16T18:04:00.000Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":92,"like_count":0,"has_summary":false,"last_poster_username":"peepo","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":80,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":11,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Getting 49.15 MHz clock from 3.072 MHz external clock","id":130,"title":"Getting 49.15 MHz clock from 3.072 MHz external clock","slug":"getting-49-15-mhz-clock-from-3-072-mhz-external-clock","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":null,"created_at":"2026-03-09T09:53:44.490Z","last_posted_at":"2026-03-09T11:31:12.773Z","bumped":true,"bumped_at":"2026-03-09T11:31:12.773Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":64,"like_count":1,"has_summary":false,"last_poster_username":"flyingcog","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":84,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"SRMODE = “CE_OVER_LSR” how to implement in Yosys?","id":123,"title":"SRMODE = \"CE_OVER_LSR\" how to implement in Yosys?","slug":"srmode-ce-over-lsr-how-to-implement-in-yosys","posts_count":18,"reply_count":10,"highest_post_number":18,"image_url":null,"created_at":"2026-02-20T12:54:18.701Z","last_posted_at":"2026-03-05T17:29:19.000Z","bumped":true,"bumped_at":"2026-03-05T17:29:19.000Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":208,"like_count":1,"has_summary":false,"last_poster_username":"peepo","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":80,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":5,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":6,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"CXXRTL virtual interfaces","id":129,"title":"CXXRTL virtual interfaces","slug":"cxxrtl-virtual-interfaces","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2026-03-02T11:57:22.968Z","last_posted_at":"2026-03-02T11:57:23.008Z","bumped":true,"bumped_at":"2026-03-02T11:57:23.008Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":37,"like_count":0,"has_summary":false,"last_poster_username":"laugensalm","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":59,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"What is the best way to drive Yosys CLI (to use CXXRTL) from Rust?","id":128,"title":"What is the best way to drive Yosys CLI (to use CXXRTL) from Rust?","slug":"what-is-the-best-way-to-drive-yosys-cli-to-use-cxxrtl-from-rust","posts_count":5,"reply_count":0,"highest_post_number":5,"image_url":null,"created_at":"2026-02-28T03:06:58.912Z","last_posted_at":"2026-03-01T03:05:05.402Z","bumped":true,"bumped_at":"2026-03-01T03:05:05.402Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":106,"like_count":0,"has_summary":false,"last_poster_username":"photon","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":82,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":6,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":59,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Async2sync and write_aiger -vmap","id":120,"title":"Async2sync and write_aiger -vmap","slug":"async2sync-and-write-aiger-vmap","posts_count":3,"reply_count":1,"highest_post_number":3,"image_url":null,"created_at":"2026-02-07T10:43:54.428Z","last_posted_at":"2026-02-09T13:04:18.924Z","bumped":true,"bumped_at":"2026-02-09T13:04:18.924Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":85,"like_count":0,"has_summary":false,"last_poster_username":"Truito","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":78,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":5,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"How do you lint your Yosys Verilog projects?","id":117,"title":"How do you lint your Yosys Verilog projects?","slug":"how-do-you-lint-your-yosys-verilog-projects","posts_count":5,"reply_count":2,"highest_post_number":5,"image_url":null,"created_at":"2026-01-25T03:06:26.459Z","last_posted_at":"2026-01-26T20:40:59.869Z","bumped":true,"bumped_at":"2026-01-26T20:40:59.869Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":125,"like_count":0,"has_summary":false,"last_poster_username":"zapta","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":76,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":6,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Setundef doesn’t respect selection","id":114,"title":"Setundef doesn't respect selection","slug":"setundef-doesnt-respect-selection","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":null,"created_at":"2026-01-21T17:53:24.064Z","last_posted_at":"2026-01-21T18:25:43.110Z","bumped":true,"bumped_at":"2026-01-21T18:25:43.110Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":59,"like_count":1,"has_summary":false,"last_poster_username":"mkudinov","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":74,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Stopping to prevent exponential design size explosion","id":111,"title":"Stopping to prevent exponential design size explosion","slug":"stopping-to-prevent-exponential-design-size-explosion","posts_count":3,"reply_count":0,"highest_post_number":3,"image_url":null,"created_at":"2025-12-29T21:30:31.045Z","last_posted_at":"2026-01-16T03:31:23.932Z","bumped":true,"bumped_at":"2026-01-16T03:31:23.932Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":100,"like_count":2,"has_summary":false,"last_poster_username":"manish","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":26,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":5,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"SBY: liveness check (deadlock / livelock)","id":110,"title":"SBY: liveness check (deadlock / livelock)","slug":"sby-liveness-check-deadlock-livelock","posts_count":3,"reply_count":1,"highest_post_number":3,"image_url":null,"created_at":"2025-12-16T11:06:02.225Z","last_posted_at":"2025-12-17T09:30:18.448Z","bumped":true,"bumped_at":"2025-12-17T09:30:18.448Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":96,"like_count":0,"has_summary":false,"last_poster_username":"MysticExplorer","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":65,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":6,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Internal pins in Liberty files","id":107,"title":"Internal pins in Liberty files","slug":"internal-pins-in-liberty-files","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":null,"created_at":"2025-12-07T03:24:21.993Z","last_posted_at":"2025-12-09T20:53:44.876Z","bumped":true,"bumped_at":"2025-12-09T20:53:44.876Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":87,"like_count":0,"has_summary":false,"last_poster_username":"widlarizer","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":64,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":5,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Write_json: buffer output after NOT gate left floating","id":104,"title":"Write_json: buffer output after NOT gate left floating","slug":"write-json-buffer-output-after-not-gate-left-floating","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":"https://global.discourse-cdn.com/free1/uploads/yosyshq/original/1X/c4655c46a28c3ae6ec3aeac6b16f3dec585867cf.svg","created_at":"2025-11-19T19:06:59.194Z","last_posted_at":"2025-11-19T23:00:51.153Z","bumped":true,"bumped_at":"2025-11-19T23:00:51.153Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":66,"like_count":2,"has_summary":false,"last_poster_username":"widlarizer","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":62,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":5,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Yosys Formal : VCD Trace Dump","id":102,"title":"Yosys Formal : VCD Trace Dump","slug":"yosys-formal-vcd-trace-dump","posts_count":4,"reply_count":2,"highest_post_number":4,"image_url":null,"created_at":"2025-11-07T17:25:18.947Z","last_posted_at":"2025-11-12T20:11:47.857Z","bumped":true,"bumped_at":"2025-11-12T20:11:47.857Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":113,"like_count":0,"has_summary":false,"last_poster_username":"KrystalDelusion","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":61,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":6,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Educational Uses of Open Source EDA Tools","id":100,"title":"Educational Uses of Open Source EDA Tools","slug":"educational-uses-of-open-source-eda-tools","posts_count":3,"reply_count":1,"highest_post_number":3,"image_url":null,"created_at":"2025-11-04T01:30:13.152Z","last_posted_at":"2025-11-04T13:05:56.950Z","bumped":true,"bumped_at":"2025-11-04T13:05:56.950Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":148,"like_count":2,"has_summary":false,"last_poster_username":"bsiever","category_id":5,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":20,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":5,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Gate Count Instability from Functionally Equivalent RTL","id":99,"title":"Gate Count Instability from Functionally Equivalent RTL","slug":"gate-count-instability-from-functionally-equivalent-rtl","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":null,"created_at":"2025-10-29T11:27:47.818Z","last_posted_at":"2025-10-30T20:18:58.377Z","bumped":true,"bumped_at":"2025-10-30T20:18:58.377Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":68,"like_count":0,"has_summary":false,"last_poster_username":"KrystalDelusion","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":60,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":6,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Preserving RTL provenance (component context) through Yosys synthesis and AIG mapping","id":96,"title":"Preserving RTL provenance (component context) through Yosys synthesis and AIG mapping","slug":"preserving-rtl-provenance-component-context-through-yosys-synthesis-and-aig-mapping","posts_count":3,"reply_count":1,"highest_post_number":3,"image_url":"https://global.discourse-cdn.com/free1/uploads/yosyshq/optimized/1X/29ffd581107f6f19d439ae51d8ac4a80f9bdd290_2_739x1024.jpeg","created_at":"2025-10-08T18:17:30.448Z","last_posted_at":"2025-10-10T17:16:46.270Z","bumped":true,"bumped_at":"2025-10-10T17:16:46.270Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":95,"like_count":1,"has_summary":false,"last_poster_username":"raulf2012","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":58,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":4,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Correct method to ignore assert() statements?","id":84,"title":"Correct method to ignore assert() statements?","slug":"correct-method-to-ignore-assert-statements","posts_count":3,"reply_count":1,"highest_post_number":3,"image_url":null,"created_at":"2025-09-25T13:07:18.418Z","last_posted_at":"2025-10-06T21:43:42.564Z","bumped":true,"bumped_at":"2025-10-06T21:43:42.564Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":115,"like_count":0,"has_summary":false,"last_poster_username":"dlmiles","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":51,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":4,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Seq #(“xx____x_____________”) pkt_err (clk, packet_error);","id":85,"title":"Seq #(\"xx____x_____________\") pkt_err (clk, packet_error);","slug":"seq-xx-x-pkt-err-clk-packet-error","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":null,"created_at":"2025-09-27T05:31:48.541Z","last_posted_at":"2025-09-28T18:12:45.495Z","bumped":true,"bumped_at":"2025-09-28T18:12:45.495Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":68,"like_count":1,"has_summary":false,"last_poster_username":"TomV","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":50,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Incremental Synthesis in Yosys","id":80,"title":"Incremental Synthesis in Yosys","slug":"incremental-synthesis-in-yosys","posts_count":5,"reply_count":3,"highest_post_number":5,"image_url":null,"created_at":"2025-09-05T05:43:02.984Z","last_posted_at":"2025-09-09T04:24:02.452Z","bumped":true,"bumped_at":"2025-09-09T04:24:02.452Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":122,"like_count":2,"has_summary":false,"last_poster_username":"mark_sys","category_id":5,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":32,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":6,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"SystemVerilog 2012 Parsing for RVFI","id":73,"title":"SystemVerilog 2012 Parsing for RVFI","slug":"systemverilog-2012-parsing-for-rvfi","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":null,"created_at":"2025-08-23T07:51:27.199Z","last_posted_at":"2025-08-31T22:57:32.754Z","bumped":true,"bumped_at":"2025-08-31T22:57:32.754Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":90,"like_count":0,"has_summary":false,"last_poster_username":"KrystalDelusion","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":45,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":6,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Larger N for input but less time used","id":63,"title":"Larger N for input but less time used","slug":"larger-n-for-input-but-less-time-used","posts_count":5,"reply_count":1,"highest_post_number":5,"image_url":"https://global.discourse-cdn.com/free1/uploads/yosyshq/original/1X/4fe0d176dc58026cc46f0dd2cdebcb2b37c2c56d.png","created_at":"2025-07-29T15:17:52.032Z","last_posted_at":"2025-08-28T18:50:45.956Z","bumped":true,"bumped_at":"2025-08-28T18:50:45.956Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":121,"like_count":0,"has_summary":false,"last_poster_username":"MMMMMia","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":40,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":5,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":4,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Compiling cv32e40x with SBY","id":71,"title":"Compiling cv32e40x with SBY","slug":"compiling-cv32e40x-with-sby","posts_count":5,"reply_count":1,"highest_post_number":5,"image_url":null,"created_at":"2025-08-18T22:39:17.897Z","last_posted_at":"2025-08-22T18:07:11.734Z","bumped":true,"bumped_at":"2025-08-22T18:07:11.734Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":109,"like_count":1,"has_summary":false,"last_poster_username":"manish","category_id":5,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":26,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Recent Poster","user_id":6,"primary_group_id":null,"flair_group_id":null}]}]}}