Make simulation profiles pydantic models

dau_sim/integrations/cocotb.py

@@ -10,17 +10,19 @@
 from __future__ import annotations
 
 from collections.abc import Mapping, Sequence
-from dataclasses import dataclass
 from pathlib import Path
 
+from pydantic import BaseModel, ConfigDict
+
 DEFAULT_BUILD_ARGS = ("--timing", "-Wno-fatal")
 
 
-@dataclass(frozen=True)
-class CocotbProfile:
+class CocotbProfile(BaseModel):
     """A registered cocotb bench: HDL sources, the toplevel they build,
     and the cocotb test module that drives it."""
 
+    model_config = ConfigDict(frozen=True)
+
     name: str
     sources: tuple[Path, ...]
     hdl_toplevel: str

dau_sim/integrations/verilator_profiles.py

@@ -1,11 +1,13 @@
 from __future__ import annotations
 
-from dataclasses import dataclass
 from pathlib import Path
 
+from pydantic import BaseModel, ConfigDict
+
+
+class VerilatorProfile(BaseModel):
+    model_config = ConfigDict(frozen=True)
 
-@dataclass(frozen=True)
-class VerilatorProfile:
     name: str
     sources: tuple[Path, ...]
     top_module: str

pyproject.toml

@@ -32,6 +32,7 @@ classifiers = [
 dependencies = [
     "amaranth",
     "csp",
+    "pydantic",
     "pyslang",
     "typer",
     "rich",