{"payload":{"header_redesign_enabled":false,"results":[{"id":"487000228","archived":false,"color":"#b2b7f8","followers":2,"has_funding_file":false,"hl_name":"Nimit3-droid/Automatic-abstract-model-computation-from-Verilog-design-descriptions","hl_trunc_description":"Modeling hardware systems involves abstracting away wide datapaths but keeping low-level details of the underlying control logic in place…","language":"Verilog","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":487000228,"name":"Automatic-abstract-model-computation-from-Verilog-design-descriptions","owner_id":56917291,"owner_login":"Nimit3-droid","updated_at":"2022-10-08T10:03:03.643Z","has_issues":true}},"sponsorable":false,"topics":["open-source","automatic","abstraction","hactoberfest","verilog-designs","hactoberfest-accepted","hactoberfest-approved","hacktoberfest2022","hactoberfest2022","hactoberfest-2022","hactoberfest-2022-accepted"],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":70,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253ANimit3-droid%252FAutomatic-abstract-model-computation-from-Verilog-design-descriptions%2B%2Blanguage%253AVerilog","metadata":null,"csrf_tokens":{"/Nimit3-droid/Automatic-abstract-model-computation-from-Verilog-design-descriptions/star":{"post":"wh9-zuLi1vNoxJHhhArGzDab8-5wggTEcb-M7rsi_iBL_xj_nzN4fBb2gc1kGvmtfh35Q0lEEnw0gJJ0dVURNg"},"/Nimit3-droid/Automatic-abstract-model-computation-from-Verilog-design-descriptions/unstar":{"post":"m9-71AOg1g1zJS8VtGuaODuzlEZHIaLrdH6i-Ms7yivaDpXBlKEkB4fs1z7_hOat7RGBeQumm7dV7TmKtKYZPA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"1T0vs3NhRcUY5bTRo4v36_CwhGmlNfbyenRdjq9EPiBJq5WNRKwzUKzOBL3eP8HSykDuoZrGFqv6BtdnuAU7KA"}}},"title":"Repository search results"}