You are currently viewing SemiWiki as a guest which gives you limited access to the site. To view blog comments and experience other SemiWiki features you must be a registered member. Registration is fast, simple, and absolutely free so please, join our community today!
I'm researching a solution for correct by construction approach to solve block - block IO timing closure. Without the need to do traditional IO budgeting/prototyping, iterative constraints refining, etc..
Would appreciate any ideas/leads/references.
Hi there, I'll preface this by saying that I work for the company in question so there's a bit of self-help with this advice. Duolog have a product that has a correct-by-construction methodology for I/O design, it may be what you're looking for.