Bochs supports the emulation of 4 different 3dfx Voodoo Graphics adapter models. The Voodoo1 and Voodoo2 models are 3D-only add-on cards and require a VGA compatible primary device. The Voodoo Banshee and it's successor Voodoo3 have both a VGA core and a 2D/3D core, so no other VGA card is required. The 2D/3D cards can be assigned to AGP if the i440BX chipset is selected (slot #5).
To emulate the Voodoo1 or Voodoo2 device only the "model" parameter of the bochsrc option "voodoo" needs to be set. If the vga extension option is set to "voodoo" in that case, the primary display adapter is an ISA VGA card.
For emulating the Voodoo Banshee or Voodoo3 adapter, the vga extension option must be set to "voodoo". Using a different primary display adapter and a Banshee compatible device with it's VGA interface disabled is not implemented yet. Both Banshee and Voodoo3 currently need a specific external VGA BIOS, since a Voodoo extension for the LGPL'd VGABIOS is not written yet.
These bochsrc settings should be used for Voodoo Banshee PCI:
vga: extension=voodoo vgaromimage: file=Pci_sg.rom voodoo: model=banshee
These settings are required for the Voodoo3 PCI:
vga: extension=voodoo vgaromimage: file=V3_2000_PCI_SG_2.15.06_LC.rom voodoo: model=voodoo3
These settings are required for Voodoo Banshee AGP:
pci: chipset=i440bx, slot5=voodoo vga: extension=voodoo vgaromimage: file=Agp_sg.rom voodoo: model=banshee
These settings are required for the Voodoo3 AGP:
pci: chipset=i440bx, slot5=voodoo vga: extension=voodoo vgaromimage: file=1k11sg.rom voodoo: model=voodoo3