Compréhension des documents de conception basée sur LLM pour l'extraction de connaissances sémantiques et la vérification de conception | Synapse