More work on docs

docs/tg/index.md

@@ -4,15 +4,15 @@ A *target* refers to an end use of Carfield. This could be a simulation setup, a
 implementation, or the less common integration into other SoCs.
 
 Target setups can either be *included* in this repository or live in an *external* repository and
-use Cheshire as a dependency.
+use Carfield as a dependency.
 
 ## Included Targets
 
 Included target setups live in the `target` directory. Each included target has a *documentation
 page* in this chapter:
 
 - [Simulation](sim.md)
-- [Synthesis](synth.md)
+- [Synthesis and physical implementation](synth.md)
 - [Xilinx FPGAs](xilinx.md)
 
 ## External Targets

docs/tg/integr.md

@@ -60,12 +60,12 @@ localparam cheshire_cfg_t CheshireCfg = gen_cheshire_cfg();
   );
 ```
 
-## Verifying Cheshire In-System
+## Verifying Carfield In-System
 
-To simplify the simulation and verification of Carfield in other systems, we provide a monolithic
-block of verification IPs called `carfield_vip`. This is used along with the `X_vip` modules of
-other domains, such as Cheshire, Safe domain and Secure domain. Their description can be found in
-the associated domain's documentation. In particular, `carfield_ip` currently includes:
+To simplify the simulation and verification of Carfield in other systems or top-level wrappers
+(e.g., ASIC), we provide a monolithic block of verification IPs called `carfield_vip`. This is used
+along with the `X_vip` modules provided for other domains. Their description can be found in the
+dedicated domain's documentation. In particular, `carfield_vip` currently includes:
 
 * Preloadable Cypress HyperRAM models (used to simulate boot).
 

docs/tg/synth.md

@@ -1,4 +1,4 @@
-# Synthesis
+# Logic synthesis and physical implementation
 
 Currently, synthesis of Carfield is available with closed source tools, and hence its scripts are
 added in the `nonfree` repository mentioned in the [Getting Started](../gs.md) section.
@@ -7,3 +7,10 @@ Once open-EDA and open-PDK flow is available, it will be updated in this page.
 
 For independent synthesis of carfield by external users, we provide a wrapper under
 `target/synth/carfield_synth_wrap.sv`.
+
+### Memory requirements for physical implementation
+
+TODO
+
+
+