{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"AppNote-011","owner":"YosysHQ-Docs","isFork":false,"description":"Tabby CAD Introduction and FAQs for Formal Use","allTopics":[],"primaryLanguage":null,"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-25T10:52:47.113Z"}},{"type":"Public archive","name":"yosys-cmd-ref","owner":"YosysHQ-Docs","isFork":false,"description":"Staging repo for Yosys command reference build. The contents of this repository are autogenerated from Yosys source.","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-14T16:26:22.591Z"}},{"type":"Public","name":"AppNote-123","owner":"YosysHQ-Docs","isFork":false,"description":"Advanced SBY Use by Example","allTopics":[],"primaryLanguage":{"name":"SystemVerilog","color":"#DAE1C2"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T08:15:23.314Z"}},{"type":"Public","name":"YosysHQ-Docs","owner":"YosysHQ-Docs","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":28,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-10T14:01:01.860Z"}},{"type":"Public","name":"AppNote-109","owner":"YosysHQ-Docs","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"SystemVerilog","color":"#DAE1C2"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-02T09:28:37.992Z"}},{"type":"Public","name":"AppNote-120","owner":"YosysHQ-Docs","isFork":false,"description":"YosysHQ AppNote 120","allTopics":[],"primaryLanguage":{"name":"SystemVerilog","color":"#DAE1C2"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-02T09:19:39.693Z"}},{"type":"Public","name":"AppNote-400","owner":"YosysHQ-Docs","isFork":false,"description":"Intro to Mutation Coverage with Yosys (MCY)","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-02T09:17:42.338Z"}},{"type":"Public","name":"AppNote-320","owner":"YosysHQ-Docs","isFork":false,"description":"320 Using the YosysHQ AXI4 formal VIP","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-02T09:13:58.465Z"}},{"type":"Public","name":"AppNote-021","owner":"YosysHQ-Docs","isFork":false,"description":"FAQ and Tabby CAD Suite Migration Guide for Jasper Gold Users","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-02T08:32:22.443Z"}},{"type":"Public","name":"AppNote-081","owner":"YosysHQ-Docs","isFork":false,"description":"FAQ and Manual for the Project Icestorm Lattice iCE40 FPGA Flow","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-02T08:10:40.919Z"}},{"type":"Public","name":"Blog-Async-Load-FFs","owner":"YosysHQ-Docs","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"SystemVerilog","color":"#DAE1C2"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-03T13:33:21.996Z"}}],"repositoryCount":11,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"YosysHQ-Docs repositories"}