Bea Healy

#### Expected Behaviour VPR should succeed when provided with the example placement constraints in the 'VPR Placement Constraints' documentation. #### Current Behaviour VPR throws the following: `Error parsing start element...

[circt-mc] Introduce `circt-mc` (supersedes #4647)

2

Introduces the `circt-mc` tool that was previously drafted in #4647 - since there's a lot of bloat on that thread from development I figured a new PR for actual review...

[ImportVerilog] moore.conversion generated instead of moore.int_to_string

1

As pointed out by @Scheremo on #9199, the following SV snippet from sv-tests: ``` // Copyright (C) 2019-2021 The SymbiFlow Authors. // // Use of this source code is governed...

MLIR pattern checks failing

4

@fabianschuiki, @maerhart and I noticed while debugging some conversion that adding the flag `-DMLIR_ENABLE_EXPENSIVE_PATTERN_API_CHECKS=ON` to a CIRCT LLVM build exposes several places where our passes are using the MLIR rewriter/pattern...