STCS

Tool

First seen 5/31/2026

Last seen 6/5/2026

Evidence 5 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

18 connections

STTVC ← uses 100% 4e

STTVC uses the STCS solver library to generate test vectors.

GNU Prolog derived from → 100% 4e

STCS was developed based on experience with GNU Prolog.

STCS implements specific bit manipulation constraints for hardware descriptions.

The paper introduces the STCS dedicated constraint solver.

arc-consistency implements → 90% 3e

STCS implements arc consistency techniques for constraint propagation.

array constraints implements → 100% 3e

STCS implements array constraints for handling memory accesses in processor descriptions.

tabWrite constraint implements → 100% 2e

STCS implements the tabWrite constraint for array write accesses.

Constraint Solving implements → 100% 2e

STCS implements the constraint solving approach with hardware-specific constraints.

tabRead constraint implements → 100% 2e

STCS implements the tabRead constraint for array read accesses.

labeling phase implements → 90% 1e

STCS implements a labeling phase to ground variables.

arc consistency implements → 90% 1e

STCS implements arc consistency for constraint propagation.

reified constraints implements → 88% 1e

STCS implements reified constraints for boolean expression handling

STCS implements a constraint satisfaction problem solver

domain reduction implements → 90% 1e

STCS implements domain reduction for typed variables with fixed bit sizes.

STCS is based on Constraint Logic Programming paradigm.

labeling phase implements → 100% 1e

STCS implements a labeling phase for grounding constraint variables.

STCS implements Constraint Logic Programming techniques

STCS implements array constraint handling via tabRead and tabWrite constraints.