(EN) Embodiments relate to a system for translating design specifications of an electronic circuit. In one embodiment, the design specification is parsed to identify one or more sentences. From the one or more identified sentences, the system extracts semantic concepts. Additionally, for each sentence of the one or more identified sentences, the system determines whether the sentence is translatable. If a target sentence is translatable, the system generates a parse tree for the target sentence, and generates a probabilistic shift-reduce schedule for the generated parse tree. Using the generated probabilistic shift-reduce schedule and optionally the generated parse tree, the system generates code for verifying the condition specified in the target sentence. In some embodiments, to generate the code, the system parses the target sentence using the generated probabilistic shift-reduce schedule.
(FR) Selon des modes de réalisation, l'invention concerne un système pour traduire des spécifications de conception d'un circuit électronique. Dans un mode de réalisation, la spécification de conception subit une analyse syntaxique pour identifier une ou plusieurs phrases. À partir de la ou des phrases identifiées, le système extrait des concepts sémantiques. De plus, pour chaque phrase de la ou des phrases identifiées, le système détermine si la phrase peut être traduite. Si une phrase cible peut être traduite, le système produit un arbre d'analyse syntaxique pour la phrase cible, et produit un programme de réduction-décalage probabiliste pour l'arbre d'analyse syntaxique produit. En utilisant le programme de réduction-décalage probabiliste produit et facultativement l'arbre d'analyse syntaxique produit, le système produit du code pour vérifier la condition spécifiée dans la phrase cible. Dans certains modes de réalisation, pour produire le code, le système effectue l'analyse syntaxique de la phrase cible à l'aide du programme de réduction-décalage probabiliste produit.
