Google XLS pelo Altifigence CLI

O Altifigence CLI oferece um fluxo de trabalho no Linux x86_64 para instalar e executar um conjunto de ferramentas do Google XLS upstream com versão fixada. Ele aceita solicitações que identificam módulos de código-fonte e uma operação e retorna resultados das ferramentas instaladas. Nesse fluxo de linha de comando, quem projeta hardware pode verificar DSLX, executar testes de módulos e gerar SystemVerilog a partir de uma função selecionada.

Um segundo fluxo conecta clientes MCP compatíveis a ferramentas locais de código-fonte XLS. Essas ferramentas usam o mecanismo XLS nativo adjacente na CPU e aceitam código-fonte incluído na solicitação. O fluxo do conjunto de ferramentas upstream e o fluxo local XLS MCP têm etapas de configuração e formatos de solicitação separados. Cada um oferece uma forma concreta de trabalhar com código e examinar suas saídas por meio da instalação do Altifigence CLI.

Execute o conjunto de ferramentas Google XLS upstream com versão fixada

O caminho upstream começa com uma instalação explícita do conjunto de ferramentas. O Altifigence CLI instala uma versão fixada do Google XLS, verifica o arquivo compactado e confere o inventário de ferramentas e da biblioteca padrão. Ele preserva os arquivos de licença da versão e grava uma configuração do conjunto de ferramentas depois que essas verificações passam. O CLI verifica novamente essa versão instalada antes do uso.

A configuração identifica a instalação usada nas solicitações seguintes. Sua resposta de capacidades descreve as operações e os tipos de entrada disponíveis, além das identidades da versão e das ferramentas. Isso dá à tarefa de código um contexto de execução explícito: uma solicitação, uma instalação selecionada e um resultado que registra as ferramentas envolvidas.

1. Instale o Altifigence CLI no Linux x86_64. Execute alti xls upstream install como seu usuário comum, escolhendo novos caminhos absolutos para o destino da instalação e a configuração do conjunto de ferramentas dentro de uma pasta existente.

2. Consulte alti xls upstream capabilities com essa configuração do conjunto de ferramentas. Examine as operações, os tipos de entrada e a identidade da versão instalada informados para sua instalação.

3. Prepare uma solicitação com operation, input_kind, entry e files. Para DSLX, files contém os módulos com chaves formadas por caminhos relativos terminados em .x, e entry identifica o módulo inicial.

4. Execute alti xls upstream run com a configuração do conjunto de ferramentas, uma pasta raiz de trabalho existente e a solicitação. Escolha check para análise sintática e verificação de tipos, ou eval para as funções de teste e os procs de teste do módulo de entrada.

5. Para uma função selecionada, inclua top e escolha convert, optimize ou codegen. Examine os artefatos retornados e guarde o resultado com a solicitação de código-fonte para sua revisão.

Uma solicitação com vários arquivos explicita a relação entre um módulo e suas importações. O exemplo publicado coloca uma função add em adder.x e a importa a partir de main.x, onde um teste de módulo verifica o resultado. O campo entry indica o módulo de teste para avaliação. As operações check e eval atuam nesse módulo de entrada e em suas importações; solicitações de geração identificam a função por meio de top.

De um somador tipado às saídas geradas

O somador documentado usa entradas u8 e um valor de retorno u8. Seu teste soma u8:255 e u8:1 e espera u8:0. Esse pequeno exemplo é útil para revisão porque apresenta juntos o tipo no código-fonte e o comportamento esperado de retorno ao início da faixa após transbordamento. É possível ler a função, examinar a asserção e executar o teste do módulo como partes da mesma tarefa de código.

Para gerar SystemVerilog com pipeline, o exemplo seleciona add como top e usa o módulo do somador como entry. A conversão produz uma representação intermediária da função selecionada; a otimização produz um artefato IR otimizado; a geração de código produz o SystemVerilog e os materiais associados de interface, escalonamento e assinatura. Escolher convert ou optimize permite encerrar a revisão em uma etapa intermediária.

Esse resultado de codegen com pipeline inclui module.sv, converted.ir, optimized.ir, interface.textproto, schedule.textproto e signature.textproto. Cada artefato traz seu texto, contagem de bytes e SHA-256. O resultado também registra os processos das ferramentas, incluindo hashes, argumentos, códigos de saída e saída produzida. Juntos, esses campos conectam os arquivos gerados às ferramentas e à solicitação usadas na execução.

Uma solicitação de geração upstream pode selecionar estágios de pipeline ou usar SystemVerilog combinacional. Trate isso como uma escolha sobre a estrutura gerada durante a exploração do código-fonte. Um exercício útil de revisão é manter o DSLX junto ao IR e ao SystemVerilog retornados e examinar como a função selecionada aparece ao longo das etapas. Essa comparação é uma atividade de leitura conduzida por quem projeta, usando os artefatos gerados.

Conecte as ferramentas locais XLS MCP separadas

O fluxo local XLS MCP começa com o pacote CLI verificado para Linux x86_64. Nas configurações stdio de um cliente compatível, defina o comando como o caminho absoluto do executável alti-mcp instalado e deixe os argumentos vazios. Mantenha alti-xls ao lado de alti-mcp nessa instalação verificada. Defina a variável de ambiente ALTI_MCP_MODE do processo do servidor como local-xls e conecte-se.

Atualize a lista de ferramentas do cliente e chame altifigence.local.xls.capabilities com um objeto vazio, {}. Examine as capacidades do mecanismo e o comprovante de execução retornados. Essa etapa estabelece o contexto do mecanismo antes de enviar operações de código-fonte a partir do cliente.

O conjunto de ferramentas inclui altifigence.local.xls.capabilities, altifigence.local.xls.check, altifigence.local.xls.eval, altifigence.local.xls.optimize e altifigence.local.xls.codegen. Elas oferecem consulta de capacidades, verificação de código-fonte, avaliação com vetores de entrada, otimização de XLS IR e geração de RTL. A execução usa o mecanismo adjacente na CPU.

Para uma operação de código-fonte, forneça input_kind como dslx ou xls-ir, o código-fonte na própria solicitação e o nome da função principal em top. Para eval, forneça também vectors como arrays de valores em texto. Esse estilo de solicitação atende a uma função de código explicitamente selecionada e a um conjunto de entradas tipadas preparadas para ela. Uma chamada bem-sucedida ao mecanismo retorna engine e receipt em structuredContent.

Escolha o fluxo para a tarefa de código-fonte

O caminho upstream atende a quem trabalha com módulos DSLX, importações e testes de módulos e quer resultados de um conjunto de ferramentas Google XLS instalado com versão fixada. O caminho MCP local atende a quem usa um cliente compatível para enviar operações com código-fonte incluído e vetores de avaliação ao mecanismo nativo de CPU. Comece pela resposta de capacidades relevante, identifique o código e mantenha o resultado retornado disponível para inspeção.

No exemplo do somador, mantenha a solicitação de teste do módulo e a de geração como entradas distintas para a revisão. A solicitação de teste indica o módulo que contém a asserção, enquanto a de geração indica o módulo que contém a função selecionada. Ler essas solicitações em conjunto esclarece qual código é avaliado e qual função é convertida em RTL. Preserve os mapeamentos de arquivos junto aos resultados para facilitar a identificação do módulo importado e de entry.

O cliente local oferece outro exercício prático com código-fonte: envie uma pequena função com tipos de entrada explícitos, verifique o código e avalie-o com vetores preparados. Compare os valores retornados com as expectativas que você escreveu para essas entradas. Guarde o resultado do mecanismo e o comprovante de execução com essa revisão. Isso fornece material para uma comparação de código, valores de entrada e saída conduzida por você, com cada operação escolhida explicitamente no cliente.

Saiba mais

Consulte o guia de XLS upstream com versão fixada para instalação, testes de módulos e artefatos SystemVerilog.

Use o guia de XLS MCP local para configurar o cliente e realizar operações de código-fonte.

Leia o guia do Altifigence CLI para conhecer o fluxo de instalação no Linux.

Visite Altifigence Downloads para obter a distribuição do CLI e downloads de produtos.