Repository navigation
Conversation
Implement a reusable parameterizable DFF and its module-specific verification and flow configuration. - Add configurable width, reset value, synchronous or asynchronous reset, and optional enable behavior. - Add a self-checking directed and randomized SystemVerilog regression. - Add bound assertions for reset, capture, hold, and known-control behavior. - Add a formal harness covering every reset-style and enable-style combination. - Add SymbiYosys proof and EQY RTL-to-netlist equivalence configurations. - Add Verible lint, formatting, Slang elaboration, Verilator lint, Yosys synthesis, and Verilator simulation coverage. - Add module profiles with isolated report and work directories. - Add concurrent local and GitHub Actions execution for registered modules. - Add DFF-specific interface, verification, waiver, and release documentation. - Document RTL, verification, formal, and flow configuration intent. - Record VC Lint, CDC, DFT, VC LP, PrimeTime, PrimePower, OpenROAD, and other optional flows as approved skips. - Verify the implementation with the complete native and containerized open-source quality gates.
Finalize the parameterizable DFF naming, verification evidence, and release policy using the portable open-source flows.\n\n- Rename the RTL top and verification components from mosaic_dff to dff.\n- Add assertion coverage with functional antecedent and RTL code coverage goals.\n- Add simulation and formal fault-injection campaigns with mutation detection.\n- Add synchronous and asynchronous constraint profiles with static intent checks.\n- Integrate constraint, assertion-coverage, and fault-injection gates into GitHub Actions.\n- Add reviewed formal warning waiver and module-specific source documentation.\n- Record VCS, Design Compiler, static commercial checks, timing, power, and physical implementation as approved skips.\n- Update the DFF verification plan, interface guide, waivers, and release checklist.\n- Verify the complete native and containerized open-source acceptance gates.
Add a reusable release evidence manifest to validate and index the results produced by each module's qualification flow. - Add a generic manifest generator with required-evidence validation. - Record module and methodology revisions, tool versions, and UTC date. - Record configuration and constraint hashes for reproducibility. - Map enabled flows to PASS and approved disabled flows to SKIP. - Support module-specific evidence gates without hard-coding the DFF. - Integrate manifest generation into native and container CI jobs. - Retain generated manifests in the existing GitHub Actions artifacts. - Generalize the root README for all MOSAIC common RTL modules. - Update the DFF verification plan and complete its release checklist. - Verify negative, native, and containerized manifest generation paths.
Implement parameterizable DFF module and release qualification
Implement a reusable parameterizable up/down counter and its module-specific verification and flow configuration. - Add configurable width, reset value, reset style, and saturating or wrapping arithmetic. - Add clear, load, enable, direction, terminal, overflow, and underflow behavior. - Add a self-checking directed and randomized SystemVerilog regression across representative configurations. - Add bound assertions and a formal harness for reset, command priority, hold, and arithmetic behavior. - Add SymbiYosys proof and EQY RTL-to-netlist equivalence configurations. - Add module-specific synthesis, CDC, DFT, low-power, and OpenROAD collateral. - Add module-first flow and file-list resolution with generic fallback support. - Add four-space Verible formatting for counter RTL and verification sources. - Register the counter in concurrent local and GitHub Actions module execution. - Add counter interface, verification-plan, and waiver documentation. - Verify the DFF and counter with native and containerized open-source quality gates.
Regenerate the counter RTL and formal harness with the pinned Verible formatter so native and containerized GitHub Actions formatting checks converge. - Align parameter declarations in the counter RTL. - Reformat the formal helper and assertion calls with four-space indentation. - Preserve the counter behavior and verification intent. - Verify native and container format checks for DFF and counter. - Verify the concurrent open-source quality gate for all registered modules.
Complete the parameterizable counter release evidence with reusable constraint, coverage, and negative-testing infrastructure. - Generalize static constraint checks for module-specific timing profiles. - Generalize assertion coverage requirements while preserving DFF qualification. - Add counter functional coverpoints and formal overflow and underflow reachability. - Add RTL line and branch coverage thresholds with reviewed static exclusions. - Add eight counter mutation tests covering priority, direction, boundaries, events, terminal behavior, and reset. - Add an EQY negative test that rejects an intentionally incorrect candidate netlist. - Require constraint, assertion-coverage, and fault-injection evidence in the counter release manifest. - Add and complete the counter release checklist, interface review, and verification-plan closure. - Verify the complete counter qualification natively and with the GitHub Actions container command.
Add parameterizable counter module with verification and release flow
Implement a reusable glitch-free clock gate and complete its portable open-source release qualification. - Add a technology-independent low-phase latch clock gate with functional and test enables. - Add directed and randomized simulation for enable capture, test override, pulse integrity, and glitch prevention. - Add bound assertions and formal proofs for gated-clock behavior and low-phase control semantics. - Add SymbiYosys proof and EQY RTL-to-netlist equivalence configurations. - Add assertion and RTL coverage goals with reusable raw coverage fallback support. - Add four simulation mutations and an EQY negative test for fault-injection qualification. - Add generated-clock SDC checks plus CDC, DFT, UPF, synthesis, and OpenROAD collateral. - Add a pinned ORFS Nangate45 flow covering floorplan, PDN, placement, CTS, routing, timing, and GDS generation. - Validate final physical artifacts, timing checks, routing violations, and reproducibility hashes. - Register the clock gate in concurrent local and GitHub Actions module execution. - Retain OpenROAD reports and physical results as GitHub Actions artifacts. - Add interface, verification-plan, waiver, and release-checklist documentation. - Record commercial tools as integration-level conditional gates for ASIC technology binding. - Verify all registered modules with native and containerized open-source quality gates.
Record the successful GitHub Actions qualification and close the final portable release requirement. - Reference the passing workflow run and qualified module revision. - Record the pinned mosaic-flow gitlink used by the workflow. - Confirm native and container checks for every registered module. - Confirm the clock-gate OpenROAD flow, release manifest, and artifact upload. - Complete the clock-gate release checklist with no remaining open items.
Feature glitch free clock gate
Implement a reusable asynchronous-assertion, synchronous-release reset synchronizer and complete its portable open-source qualification. - Add a parameterizable synchronization chain with preserved asynchronous-reset stages and exact release latency. - Add directed and randomized simulation for assertion, release, stopped clocks, restart, and intermediate-stage reassertion. - Add bound assertions and formal proofs for asynchronous clearing, stage ordering, and output behavior. - Add SymbiYosys proof and EQY RTL-to-netlist equivalence configurations. - Add assertion coverage, RTL coverage, constraint-intent checks, and release-manifest evidence gates. - Add four implementation mutations and an inequivalent netlist for negative verification qualification. - Add an Icarus four-state campaign that detects an unknown asynchronous reset input and validates its negative control. - Add SDC plus CDC, DFT, UPF, synthesis, and preliminary OpenROAD integration collateral. - Register the synchronizer in concurrent local, native GitHub Actions, and containerized module execution. - Extend shared formatting and release evidence support for four-space sources and Icarus version capture. - Add interface, verification-plan, waiver, and template-aligned release-checklist documentation. - Record licensed, physical, DFT, and low-power tools as approved leaf-level or conditional integration skips. - Require CDC and RDC signoff at the first integration level containing the complete reset path. - Verify all portable gates natively and in the pinned Docker environment.
Record the successful GitHub Actions qualification and close the final portable release requirements. - Reference passing workflow run 33329034154 and qualified module revision 237ac61. - Record the pinned mosaic-flow gitlink revision used by native and container jobs. - Confirm all reset-synchronizer portable, coverage, negative, and four-state gates passed. - Record retained native and container report artifacts and their expiration date. - Confirm release manifests capture revisions, tools, constraints, and technology scope. - Complete the template-aligned reset-synchronizer release checklist with no remaining open items.
…chronizer Implement parameterizable DFF, counter, clock gate, and synchronizer modules with verification flows
Implement a reusable combinational lane mask anc complete its portable open-source qualification. - Add parameterizable global-valid, lane-valid, architectural-mask, and predicate combination logic. - Add canonical active, isolation, and write-mask outputs with illegal-parameter detection. - Add directed, boundary, one-hot, and randomized a simulation for lane counts 1, 2, 4, 8, and 16. - Add bound assertions and formal proofs for outputs equations and known-control requirements. - Add SymbiYosys proof and EQY RTL-to-netlist equivalence configurations. - Add assertions coverage, complete RTL line and toggle coverage, and combinational constraint-intent checks. - Add six functional mutations and an inequivalent candidate netlist for negative verification qualification. - Add an Icarus four-state campaign for unknown global and per-lane controls with a disabled-monitor control. - Add SDC plus CDC, DFT, UPF, synthesis, and preliminary OpenROAD integration collateral. - Register lane mask in concurrent local, native GitHub Actions, and containerized module execution. - Extend shared formatting and release evidence support for four-space sources and Icarus version capture. - Add interface, verification-plan, waiver, and template-aligned release-checklist documentation. - Record licensed and physical tools as approved leaf-level or conditional integration skips. - Verify all portable gates natively and in the pinned Docker environment.
Record the successful GitHub Actions qualification and close the final portable release requirements. - Reference passing workflow run 33352609494 and qualified module revision 04085ce. - Record the pinned mosaic-flow gitlink revision used by native and container jobs. - Confirm all lane-mask portable, coverage, negative, and four-state gates passed. - Record retained native and container report artifacts and their expiration date. - Confirm CI release manifests capture revisions, tools, constraints, and technology scope. - Complete the template-aligned lane-mask release checklist with no remaining open items.
Implement parameterizable lane mask and complete release checklist
Implement a reusable fixed-priority encoder and qualify its portable open-source behavior. - Add parameterizable request width and elaboration-time LSB-first or MSB-first priority selection. - Add binary index, one-hot selection, valid, and multiple-request outputs with illegal-parameter detection. - Add exhaustive small-width and randomized wide-configuration simulation for widths 1, 2, 3, 4, 5, 8, 16, and 32. - Add bound assertions and formal proofs for output consistency, fixed-priority selection, and known-request requirements. - Add SymbiYosys proof and EQY RTL-to-netlist equivalence configurations. - Add assertion antecedent coverage, reviewed RTL line and toggle coverage, and executable combinational constraint checks. - Add SDC plus CDC, DFT, UPF, synthesis, and preliminary OpenROAD integration collateral. - Register the priority encoder in concurrent local, native GitHub Actions, and containerized module execution. - Extend shared formatting support for four-space priority-encoder sources. - Add interface, verification-plan, waiver, and template-aligned release-checklist documentation. - Record licensed and physical tools as approved leaf-level or conditional integration skips. - Verify portable gates natively and in the pinned Docker environment.
Record the successful GitHub Actions qualification and close the final portable release requirements. - Reference passing workflow run 33375596934 and qualified module revision 9494911. - Record the pinned mosaic-flow gitlink revision used by native and container jobs. - Confirm all priority-encoder portable, constraint, coverage, and manifest gates passed. - Record retained native and container report artifacts and their expiration date. - Confirm CI release manifests capture revisions, tools, constraints, and technology scope. - Complete the template-aligned priority-encoder release checklist with no remaining open items.
…encoder Implement parameterizable priority encoder with verification flows
Implement a reusable voltage-domain crossing wrapper and qualify its portable open-source behavior. - Add parameterizable vector width and static low-to-high or high-to-low direction intent. - Preserve bit ordering and four-state X/Z behavior with elaboration-time illegal-parameter detection. - Add directed, exhaustive, walking-pattern, alternating-pattern, and randomized simulation across widths 1 through 64. - Add bound assertions and formal proofs for transparent data propagation and known-value behavior. - Add SymbiYosys proof and EQY RTL-to-netlist equivalence configurations. - Add assertion antecedent coverage, reviewed line and toggle coverage, combinational timing checks, and portable power-intent validation. - Add functional mutations, invalid-parameter tests, and inequivalent candidate netlist, and four-state X/Z simulation. - Add SDC, CDC, DFT, UPF, synthesis, and preliminary OpenROAD integration collateral. - Define source and destination voltage domains, level-shifter insertion intent, and mandatory multi-voltage integration requirements. - Register the level shifter in concurrent local, native GitHub Actions, and containerized module execution. - Extend shared formatting and release manifests for module-specific static and power configuration evidence. - Add interface, verification-plan, waiver, and template-aligned release-checklist documentation. - Record licensed and physical tools as approved wrapper-level or conditional integration skips. - Verify all portable gates natively and in the pinner Docker environment.
Record the successful GitHub Actions qualification and retained portable release artifacts. - Reference passing workflow run 33434290737 and qualified module revision 06101a0. - Record the pinned mosaic-flow gitlink revision used by native and container jobs. - Keep technology-bound VC LP adapter qualification open for the first complete multi-voltage integration.
Implement a reusable power-domain isolation wrapper and qualify its portable open-source behavior. - Add parameterizable vector width, compile-time clamp value, and active-high or active-low isolation control. - Preserve pass-through and deterministic clamp behavior with conservative four-state semantics for unknown control. - Add directed, walking-pattern, alternating-pattern, randomized, and boundary simulation across widths 1 through 64. - Add bound assertions and formal proofs for pass-through, clamp behavior, control polarity, and data independence while isolated. - Add SymbiYosys proof and EQY RTL-to-netlist equivalence configurations. - Add assertion antecedent coverage, complete reviewed RTL line and toggle coverage, and executable timing and power-intent checks. - Add four functional mutations, invalid-width and invalid-clamp tests, and inequivalent candidate netlist, and X/Y simulation. - Add SDC, CDC, DFT, UPF, synthesis, and preliminary OpenROAD integration collateral. - Define switchable-source and active-destination domains, source-off power state, isolation insertion intent, and mandatory integration requirements. - Register the isolation cell in concurrent local, native GitHub Actions, and containerized module execution. - Extend shared formatting and release manifests for module-specific static and low-power configuration evidence. - Add interface, verification-plan, waiver, and template-aligned release-checklist documentation. - Record technology-bound tools as conditional integration gates and keep VC LP qualification explicitly open. - Verify all portable gates natively and in the pinned Docker environment.
Record the successful GitHub Actions qualification and retained portable release artifacts. - Reference passing workflow run 33453975143 and qualified module revision adeae84. - Record the pinned mosaic-flow gitlink revision used by native and container jobs. - Confirm all isolation-cell portable, power-intent, coverage, negative, four-state, and manifest gates passed. - Record retained native and container report artifact identifiers and their expiration date. - Keep technology-bound VC LP adapter qualification open for the first complete power-gated integration.
Implement a reusable retention-register model and qualify its portable open-source behavior. - Add parameterizable width, reset value, synchronous or asynchronous reset, and optional enable behavior. - Add explicit save and restore semantics with documented control priority and integration assumptions. - Add directed, boundary, and randomized simulation across widths 1, 8, 16, 32, 64, and 128. - Add bound assertions and formal model checks for reset, save, restore, update, and hold behavior. - Add SymbiYosys bounded proof and EQY RTL-to-netlist equivalence configurations. - Add assertion antecedent coverage and reviewed RTL line and toggle coverage. - Add negative protocol testing and four-state detection for unknown reset, enable, save, and restore controls. - Add executable SDC and UPF intent checks for clocks, interface delays, reset exceptions, supplies, power states, and retention controls. - Add CDC, DFT, synthesis, preliminary OpenROAD, and low-power integration collateral. - Register the retention register in concurrent local, native GitHub Actions, and containerized module execution. - Extend shared formatting and release-manifest support for the new module collateral. - Add interface, verification-plan, waiver, and template-aligned release-checklist documentation. - Record licensed and physical tools as conditional technology-binding requirements. - Verify all portable gates natively and in the pinned Docker environment.
Record the successful GitHub Actions qualification and close the remaining portable CI requirements. - Reference passing workflow run 33467608236 and qualified module revision d180c20. - Record the pinned mosaic-flow gitlink revision used by native and container jobs. - Confirm all retention-register portable, constraint, coverage, negative, four-state, and manifest gates passed. - Record retained native and container report artifacts and their expiration date. - Leave commercial low-power adapter qualification open until an authorized technology library is available.
…fter Feature parameterizable level shifter
…_cell Feature parameterizable isolation cell
…_register Implement parameterizable retention register and CI qualification
Migrate mosaic-common to the shared project orchestration and begin module-owned parameter-profile qualification. - Pin mosaic-flow to MF20260910V1 and replace legacy root orchestration with the shared project API. - Move the module registry to the validated config/modules.json schema and generate the CI matrix through module-profile-matrix. - Isolate native and container CI caches, images, reports, work products, artifacts, and release evidence by module and parameter profile. - Update repository guidance for profile-aware portable qualification and validated release manifests. - Add passing DFF profile harnesses for scalar synchronous, vector asynchronous, and vector no-enable implementations. - Add passing profile manifests for lane mask, priority encoder, level shifter, and isolation cell using their reusable checker collateral. - Add a DFF static-intent policy that validates synchronous and asynchronous SDC contracts plus the always-on UPF baseline. - Add focused isolation-cell formal profile proof collateral and document the narrow DFF no-enable lint waiver. - Verify the DFF profile aggregate with bounded parallelism and validate the local diagnostic release manifest.
Repair the native and container qualification paths introduced by the MF20260910V1 migration. - Restore the repository-wide Verible adapter so modules with four-space source policy retain their established formatting contract. - Format the DFF parameter-profile harnesses with their default two-space policy so shared formatting checks are reproducible. - Install python3-venv in the portable image, which is required by the PyUVM environment provisioned by mosaic-flow. - Declare the immutable packaged methodology state and container execution context when generating release evidence in Docker. - Verify the previously failing counter, clock gate, reset synchronizer, and retention-register native flows plus a containerized DFF profile flow and release-manifest validation.
Restore the clock-gate OpenROAD qualification path that the shared MF202610V1 workflow migration omitted. - Add a declarative OpenROAD evidence policy for final layout artifacts and zero-violation timing and routing metrics. - Run the pinned physical flow only in the native clock-gate CI job before generating release evidence. - Disable OpenROAD inside the portable module container, where nested Docker execution is intentionally unavailable. - Upload module-rooted report and work trees so default and profiled modules retain all generated evidence. - Verify the native ORFS physical run, the clock-gate container flow, and both release-manifest contexts.
…60910 [Update] Consume MF20260910V1 project qualification flows
Implement a reusable write-control gate and qualify its portable open-source behavior. - Add parameterizable per-bit write permitting and suppression observation with conservative unknown-control behavior. - Add directed, alternating, randomized, idle, and suppression testing across widths 1, 2, 4, 8, 16, 32, 64, and 128. - Add representative register and memory integrations that compare gated state against ungated reference models and measure activity. - Add shared predicates, bound assertions, complete formal proofs, and RTL-to-Yosys-netlist equivalence checks. - Add functional, transition, integration, line, branch, toggle, and formal cover qualification with explicit release thresholds. - Add invalid-width, inverted-suppression mutation, and four-state X/Z detection campaigns. - Add executable SDC and UPF static-intent checks plus CDC, DFT, synthesis, and low-power integration collateral. - Add a representative WIDTH=2 Nangate45 OpenROAD implementation and preserve its evidence in the native CI release manifest. - Register the write gate in concurrent local, native GitHub Actions, and containerized module execution. - Extend shared formatting and release evidence handling for the new module collateral. - Add interface, project configuration, power characterization, verification-plan, waiver, and template-aligned release documentation. - Record commercial and foundry checks as reviewed portable skips that become mandatory in the first stateful consuming integration. - Verify all portable gates natively and in the pinned Docker environment.
Keep container release-manifest generation aligned with the portable qualification policy. - Pass FLOW_openroad=disabled to separate container release-manifest invocation. - Prevent clock-gate container checks from requiring native-only OpenROAD evidence. - Verify the exact clock-gate container flow and release-manifest validation.
[Add] Parameterizable write gate and verification flows
Implement a reusable architectural operand clamp and qualify its portable open-source behavior. - Add parameterizable active-high operand isolation with configurable clamp value, conservative X/Z propagation, and elaboration-time parameter guards. - Add qualified widths 1, 8, 16, 32, 64, 128, and 256 across zero, all-one, and nontrivial pattern clamp classes. - Add directed, per-bit, alternating, deterministic long-sequence, transition, and unknown-control verification. - Add arithmetic, vector, and address-generation integration models that prove active behavior and measure reduced downstream switching activity. - Add shared predicates, bound assertions, assumption-free formal proofs, and RTL-to-Yosys-netlist equivalence checks. - Add functional, transition, integration, line, branch, toggle, and formal cover qualification with explicit release thresholds. - Add invalid-width, invalid X/Z clamp, inverted-control mutation, and four-state X/Z detection campaigns. - Add executable SDC and UPF static-intent checks plus CDC, DFT, synthesis, low-power, and exploratory physical collateral. - Register operand isolation in concurrent local, native GitHub Actions, and containerized module-profile execution. - Generalize representative coverage handling and preserve forced evidence in native and container release manifests. - Add interface, project configuration, power characterization, verification, approved waiver, and template-aligned release documentation. - Record technology-bound and integration checks as reviewed portable skips that remain mandatory in the first consuming datapath. - Verify all seven profiles natively and in the pinned Docker environment, including coverage and release-manifest validation.
Record the external GitHub Actions capacity block and close the final portable release requirements with equivalent local qualification. - Reference push run 35545096382 and pull-request run 35545136959 for qualified module revision 5c188f9. - Add approved exception OI-CI-001 with the check-run annotations, local evidence locations, owner, reviewer, and removal condition. - Complete the template-aligned operand-isolation release checklist with no remaining open items.
…solation [Add] Parameterizable operand isolation and verification flows
Implement a reusable binary-to-one-hot decoder and qualify its portable open-source behavior. - Add parameterizable active-high decoding with validity reporting, non-power-of-two support, fail-closed X/Z behavior, and elaboration-time parameter guards. - Add qualified output counts 1, 2, 3, 4, 5, 8, 16, and 32 with exhaustive legal, invalid, disabled, transition, and randomized testing. - Add shared predicates, bound assertions, assumption-free format proofs, reusable coverage, and RTL-to-Yosys-netlist equivalence checks. - Add functional, transition, line, branch, toggle, and formal coverage qualification with explicit release thresholds. - Add invalid-parameter, inverted-enable mutation, and four-state X/Z detection campaigns. - Add executable SDC and UPF static-intent checks plus CDC, DFT, synthesis, low-power, and exploratory physical collateral. - Register the decoder in concurrent local, native GitHub Actions, and containerized module-profile execution. - Preserve representative coverage evidence in native and containerized release manifests. - Add interface, project configuration, power characterization, verification-plan, waiver, and template-aligned release documentation. - Record commercial and physical checks as reviewed portable skips that remain mandatory in the first consuming integration. - Verify all eight profiles natively and in the pinned Docker environment, including coverage and release-manifest validation.
Close the final portable release requirements. - Reference push run 35551308160 and pull-request run 35551684468 for qualified module revision 0ace813. - Add approved exception DEC-CI-001 with the check-run annotations, local evidence locations, owner, reviewer, and removal condition. - Complete the verification exit criteria and release checklist with no remaining open items.
[Add] Parameterizable decoder and verification flows
Implement a reusable N-to-1 data selector and qualify its portable open-source behavior. - Add parameterizable input count, data width, default output, validity reporting, fail-closed X/Z behavior, and elaboration-time parameter guards. - Add six qualified profiles covering one through eight inputs and one through 128 data bits, including non-power-of-two configurations. - Add legal, invalid, transition, randomized, and unknown-selection verification with selected and unselected input activity. - Add shared predicates, bound assertions, assumption-free formal proofs, reusable coverage, and RTL-to-Yosys-netlist equivalence checks. - Add functional, transition, line, branch, toggle, and formal coverage qualification with explicit release thresholds. - Add invalid-parameter, invalid-valid mutation, and four-state X/Z detection campaigns. - Add executable SDC and UPF static-intent checks plus CDC, DFT, synthesis, low-power, and exploratory physical collateral. - Register the mux in concurrent local, native GitHub Actions, and containerized module-profile execution. - Preserve representative coverage evidence in native and containerized release manifests. - Add interface, project configuration, power characterization, verification-plan, waiver, and template-aligned release documentation. - Record commercial and physical checks as reviewed portable skips that remain mandatory in the first consuming integration. - Verify all six profiles natively and in the pinned Docker environment, including coverage and release-manifest validation.
Keep repository-wide Verible checks aligned with the four-space mux source policy. - Recognize mux SystemVerilog sources in the shared formatting adapter. - Prevent unrelated module jobs from formatting mux files with Verible default two-space indentation. - Verify affected native and container format gates for counter, clock gate, reset synchronizer, retention register, and mux.
Close the final portable release requirements with successful hosted qualification evidence. - Reference push run 36541363113 and pull-request run 36541367519 for qualified branch revision 8946328 and pinned methodology revision 0bd222f. - Record clean native and container manifests, retained artifact IDs, and the December 28, 2026 retention date. - Complete the verification exit criteria and release checklist with no remaining open items.
[Add] Parameterizable multiplexer and verification flows
ErickOF
changed the title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Promote the developed MOSAIC common blocks from
devtomain, consolidating 13 reusable RTL modules with module-specific verification, reproducible open-source qualification, and integration documentation.mosaic-flowreleaseMF20260910V1through the shared project API and a validatedconfig/modules.jsonregistry.This PR establishes portable RTL qualification, not ASIC electrical, power, or foundry signoff. Technology-bound VC LP qualification for the level shifter, isolation cell, and retention register remains open until approved libraries, complete integrated power intent, and actual sequencing evidence are available.