diff --git a/spec/book.typ b/spec/book.typ index 3363c0c26..677a33b93 100644 --- a/spec/book.typ +++ b/spec/book.typ @@ -14,7 +14,9 @@ #chapter("memw.typ")[MEMW] #chapter("lt.typ")[LT] #chapter("mul.typ")[MUL chip] + #chapter("dvrm.typ")[DVRM chip] #chapter("load.typ")[LOAD chip] + #chapter("ecall.typ")[ECALL chips] #chapter("bitwise.typ")[BITWISE] ] ) diff --git a/spec/dvrm.typ b/spec/dvrm.typ new file mode 100644 index 000000000..69e79cee2 --- /dev/null +++ b/spec/dvrm.typ @@ -0,0 +1,17 @@ +#import "/book.typ": book-page +#import "/src.typ": load_config, load_chip +#import "/chip.typ": ( + render_chip_column_table, + total_nr_variables, + total_nr_instantiated_columns, + render_constraint_table, + render_chip_assumptions, + render_chip_padding_table, +) + +#let config = load_config() +// #let chip = load_chip("src/dvrm.toml", config) + +#show: book-page.with(title: "DVRM chip") + +*placeholder chapter: WIP* diff --git a/spec/ecall.typ b/spec/ecall.typ new file mode 100644 index 000000000..fee25768c --- /dev/null +++ b/spec/ecall.typ @@ -0,0 +1,17 @@ +#import "/book.typ": book-page +#import "/src.typ": load_config, load_chip +#import "/chip.typ": ( + render_chip_column_table, + total_nr_variables, + total_nr_instantiated_columns, + render_constraint_table, + render_chip_assumptions, + render_chip_padding_table, +) + +#let config = load_config() + +#show: book-page.with(title: "ECALL chips") + +*placeholder chapter: WIP* +