An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with methodology-development

A curated list of projects in awesome lists tagged with methodology-development .

https://github.com/PrincetonUniversity/AutoSVA

AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made in the signal declaration section of an RTL module, generate liveness properties so that the module would eventually make forward progress.

design methodology-development rtl sva systemverilog verification verilog

Last synced: 11 May 2025

https://github.com/princetonuniversity/autosva

AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made in the signal declaration section of an RTL module, generate liveness properties so that the module would eventually make forward progress.

design methodology-development rtl sva systemverilog verification verilog

Last synced: 09 Jul 2025

https://github.com/collegeville/sagatagan

The science of computational science: R&D to improve scientific computing R&D.

metascience methodology-development research science

Last synced: 29 Jan 2026

https://github.com/dahmansphi/research_from_start_to_end

The Big Bang of Data Science- Research from the Start to The End- [Book One]

framework instruments methodology-development product research research-project

Last synced: 08 Jan 2026

https://github.com/danieldantasdev/analyser_webapi_pos-graduation-applied-project-xp_dotnet-8_csharp-12

Repositório do desafio final da pós-graduação XP Educação em Projeto Aplicado. Implementa uma solução modular em .NET 8, que materializa a metodologia sistemática para refatoração de monólitos em monólitos modulares baseada em análises multi-perspectiva (estática, dinâmica, de domínio e de evolução histórica).

csharp decompose dotnet methodology-development modular-monolith monolith refactoring systematic

Last synced: 15 Apr 2026