Generate RTL code for Data Checker deployments

phillipstanleymarbell / Noisy-lang-compiler

Noisy language compiler

MIT License

17 stars 1 forks source link

Generate RTL code for Data Checker deployments #621

Open KomaGR opened 2 years ago

KomaGR commented 2 years ago

Related to https://github.com/phillipstanleymarbell/Noisy-lang-compiler/issues/620.

Given a Newton code input and appropriate flags, generate RTL code that performs the dataset validation/verification that the Data Checker would do for this input.