Johan Euphrosine

Are your referring to https://github.com/actions-on-google/smart-home-schema/blob/master/traits/temperaturesetting/temperaturesetting.states.schema.json ? @i8beef interpretation is correct, the `properties` refer to the common properties while the `oneOf` provide additional contraints for validating other `properties` that depends on...

This sounds like a fantastic discussion about possible improvement to the account linking infrastructure, in order to get it more visibility I would suggest continuing it the smart home public...

It seems at least possible to quickcheck parametric function by instanciating them explicitly: ``` fn func1(a: uN[N], b: uN[N]) -> uN[N] { a + b } fn func2(a: uN[N], b:...

We do have conda packages maintained by the https://github.com/hdl/conda-eda community here https://anaconda.org/LiteX-Hub/xls/ and there are some plans to provide a conda-forge equivalent as well (see https://github.com/hdl/conda-eda/issues/193). Some of the pybind11...

Done in https://github.com/google/xls/releases/.

could this potentially also emit SystemVerilog formal verification primitives/constraints? https://www.systemverilog.io/verification/gentle-introduction-to-formal-verification/ https://www.chipverify.com/systemverilog/systemverilog-constraints

@joamatab getting this issue when trying to use the new klayout 0.28: https://github.com/KLayout/klayout/issues/1146#issuecomment-1345445086 Are you able to load a layout on your end?

> also the 3D rendering on the browser looks great This is using https://github.com/TinyTapeout/tinytapeout_gds_viewer (forked from https://github.com/mbalestrini/tinytapeout_gds_viewer).

@vijayank88 thanks for pointing this out! Do you plan to also populate the tag on this repo?

filed https://github.com/berkeley-abc/abc/issues/267 and https://github.com/The-OpenROAD-Project/OpenSTA/issues/208